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 | 71 | 2019 |
Hybrid Public Key Encryption R Barnes, K Bhargavan, B Lipp, CA Wood Internet Research Task Force (IRTF), 2022 | 63 | 2022 |
Analysing the HPKE Standard J Alwen, B Blanchet, E Hauck, E Kiltz, B Lipp, D Riepel EUROCRYPT 2021, 87-116, 2021 | 40 | 2021 |
A Mechanised Computational Analysis of the WireGuard Virtual Private Network Protocol B Lipp Master's thesis, KIT, 2018 | 9 | 2018 |
An Analysis of Hybrid Public Key Encryption B Lipp IACR Cryptology ePrint Archive, 2020 | 8 | 2020 |
sPlot-based training of multivariate classifiers in the Belle II analysis software framework B Lipp Bachelor's thesis, KIT, 2015 | 8 | 2015 |
Analysing the HPKE standard J Alwen, B Blanchet, E Hauck, E Kiltz, B Lipp, D Riepel IACR Cryptology ePrint Archive, 2020 | | 2020 |