Παρακολούθηση
Benjamin Lipp
Benjamin Lipp
Post-doctoral researcher, MPI-SP
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα mpi-sp.org - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
A Mechanised Cryptographic Proof of the WireGuard Virtual Private Network Protocol
B Lipp, B Blanchet, K Bhargavan
2019 IEEE European Symposium on Security and Privacy (EuroS&P), 231-246, 2019
692019
Hybrid Public Key Encryption
R Barnes, K Bhargavan, B Lipp, CA Wood
Internet Research Task Force (IRTF), 2022
542022
Analysing the HPKE Standard
J Alwen, B Blanchet, E Hauck, E Kiltz, B Lipp, D Riepel
EUROCRYPT 2021, 87-116, 2021
352021
An Analysis of Hybrid Public Key Encryption
B Lipp
IACR Cryptology ePrint Archive, 2020
92020
A Mechanised Computational Analysis of the WireGuard Virtual Private Network Protocol
B Lipp
Master's thesis, KIT, 2018
82018
sPlot-based training of multivariate classifiers in the Belle II analysis software framework
B Lipp
Bachelor's thesis, KIT, 2015
82015
Analysing the HPKE standard
J Alwen, B Blanchet, E Hauck, E Kiltz, B Lipp, D Riepel
IACR Cryptology ePrint Archive, 2020
2020
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–7