Filtrer vos résultats
- 6
- 3
- 2
- 1
- 2
- 6
- 1
- 1
- 2
- 2
- 6
- 6
- 6
- 4
- 2
- 2
- 2
- 2
- 2
6 résultats
|
|
triés par
|
|
An Analysis of Hybrid Public Key Encryption[Research Report] IACR Cryptology ePrint Archive. 2020
Rapport
hal-03113221v1
|
||
|
Mechanized Cryptographic Proofs of Protocols and their Link with Verified ImplementationsCryptography and Security [cs.CR]. Université Paris sciences et lettres, 2022. English. ⟨NNT : ⟩
Thèse
tel-03933719v1
|
||
|
A Mechanised Cryptographic Proof of the WireGuard Virtual Private Network Protocol4th IEEE European Symposium on Security and Privacy, Jun 2019, Stockholm, Sweden. pp.231-246
Communication dans un congrès
hal-02396640v1
|
||
|
Analysing the HPKE StandardEurocrypt 2021 - 40th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Oct 2021, Zagreb, Croatia. pp.87-116, ⟨10.1007/978-3-030-77870-5_4⟩
Communication dans un congrès
hal-03471218v1
|
||
|
A Mechanised Cryptographic Proof of the WireGuard Virtual Private Network Protocol[Research Report] RR-9269, Inria Paris. 2019, pp.50
Rapport
hal-02100345v3
|
||
|
Analysing the HPKE Standard[Research Report] IACR Cryptology ePrint Archive. 2020
Rapport
hal-03113251v2
|