受强制性开放获取政策约束的文章 - Bruno Blanchet了解详情
可在其他位置公开访问的文章：9 篇
SoK: Computer-aided cryptography
M Barbosa, G Barthe, K Bhargavan, B Blanchet, C Cremers, K Liao, ...
2021 IEEE symposium on security and privacy (SP), 777-795, 2021
强制性开放获取政策： US National Science Foundation, US Department of Defense, Fundação para a …
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
强制性开放获取政策： European Commission, Agence Nationale de la Recherche
Proverif with lemmas, induction, fast subsumption, and much more
B Blanchet, V Cheval, V Cortier
2022 IEEE Symposium on Security and Privacy (SP), 69-86, 2022
强制性开放获取政策： Agence Nationale de la Recherche
Analysing the HPKE standard
J Alwen, B Blanchet, E Hauck, E Kiltz, B Lipp, D Riepel
Annual International Conference on the Theory and Applications of …, 2021
强制性开放获取政策： German Research Foundation, European Commission, Agence Nationale de la …
Composition theorems for CryptoVerif and application to TLS 1.3
B Blanchet
2018 IEEE 31st Computer Security Foundations Symposium (CSF), 16-30, 2018
强制性开放获取政策： European Commission
Post-quantum sound CryptoVerif and verification of hybrid TLS and SSH key-exchanges
B Blanchet, C Jacomme
CSF'24-37th IEEE Computer Security Foundations Symposium, 2024
强制性开放获取政策： Agence Nationale de la Recherche
Dealing with Dynamic Key Compromise in Crypto Verif
B Blanchet
2024 IEEE 37th Computer Security Foundations Symposium (CSF), 495-510, 2024
强制性开放获取政策： Agence Nationale de la Recherche
CV2EC: Getting the Best of Both Worlds
B Blanchet, P Boutry, C Doczkal, B Grégoire, PY Strub
2024 IEEE 37th Computer Security Foundations Symposium (CSF), 279-294, 2024
强制性开放获取政策： Agence Nationale de la Recherche
Inria Paris, France June 18, 2024
B Blanchet, D Cadé, C Jacomme
强制性开放获取政策： Agence Nationale de la Recherche
出版信息和资助信息由计算机程序自动确定