Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

6 résultats
Page :
triés par
Image document

An Analysis of Hybrid Public Key Encryption

 Benjamin Lipp
[Research Report] IACR Cryptology ePrint Archive. 2020
Rapport hal-03113221v1
Image document

Mechanized Cryptographic Proofs of Protocols and their Link with Verified Implementations

 Benjamin Lipp
Cryptography and Security [cs.CR]. Université Paris sciences et lettres, 2022. English. ⟨NNT : ⟩
Thèse tel-03933719v1
Image document

Analysing the HPKE Standard

 Joël Alwen , Bruno Blanchet , Eduard Hauck , Eike Kiltz , Benjamin Lipp , et al.
[Research Report] IACR Cryptology ePrint Archive. 2020
Rapport hal-03113251v2
Image document

Analysing the HPKE Standard

 Joël Alwen , Bruno Blanchet , Eduard Hauck , Eike Kiltz , Benjamin Lipp , et al.
Eurocrypt 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
Image document

A Mechanised Cryptographic Proof of the WireGuard Virtual Private Network Protocol

 Benjamin Lipp , Bruno Blanchet , Karthikeyan Bhargavan
[Research Report] RR-9269, Inria Paris. 2019, pp.50
Rapport hal-02100345v3
Image document

A Mechanised Cryptographic Proof of the WireGuard Virtual Private Network Protocol

 Benjamin Lipp , Bruno Blanchet , Karthikeyan Bhargavan
4th IEEE European Symposium on Security and Privacy, Jun 2019, Stockholm, Sweden. pp.231-246
Communication dans un congrès hal-02396640v1
Page :