Các bài viết có thể truy cập công khai - Charlie JacommeTìm hiểu thêm
Có tại một số nơi: 16
An interactive prover for protocol verification in the computational model
D Baelde, S Delaune, C Jacomme, A Koutsos, S Moreau
2021 IEEE Symposium on Security and Privacy (SP), 537-554, 2021
Các cơ quan ủy nhiệm: European Commission, Agence Nationale de la Recherche
{SAPIC+}: protocol verifiers of the world, unite!
V Cheval, C Jacomme, S Kremer, R Künnemann
31st USENIX Security Symposium (USENIX Security 22), 3935-3952, 2022
Các cơ quan ủy nhiệm: European Commission, Agence Nationale de la Recherche
A comprehensive, formal and automated analysis of the {EDHOC} protocol
C Jacomme, E Klein, S Kremer, M Racouchot
32nd USENIX Security Symposium (USENIX Security 23), 5881-5898, 2023
Các cơ quan ủy nhiệm: Agence Nationale de la Recherche
Symbolic Proofs for Lattice-Based Cryptography
G Barthe, X Fan, J Gancher, B Grégoire, C Jacomme, E Shi
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018
Các cơ quan ủy nhiệm: US National Science Foundation, US Department of Defense
Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses
V Cheval, C Cremers, A Dax, L Hirschi, C Jacomme, S Kremer
32nd USENIX Security Symposium (USENIX Security 23), 5899-5916, 2023
Các cơ quan ủy nhiệm: Helmholtz Association, Agence Nationale de la Recherche
Symbolic models for isolated execution environments
C Jacomme, S Kremer, G Scerri
2017 IEEE European Symposium on Security and Privacy (EuroS&P), 530-545, 2017
Các cơ quan ủy nhiệm: European Commission
Formal Analysis of {Session-Handling} in Secure Messaging: Lifting Security from Sessions to Conversations
C Cremers, C Jacomme, A Naska
32nd USENIX Security Symposium (USENIX Security 23), 1235-1252, 2023
Các cơ quan ủy nhiệm: Helmholtz Association, Agence Nationale de la Recherche
Oracle simulation: a technique for protocol composition with long term shared secrets
H Comon, C Jacomme, G Scerri
Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications …, 2020
Các cơ quan ủy nhiệm: Agence Nationale de la Recherche
Symbolic methods in computational cryptography proofs
G Barthe, B Grégoire, C Jacomme, S Kremer, PY Strub
2019 IEEE 32nd Computer Security Foundations Symposium (CSF), 136-13615, 2019
Các cơ quan ủy nhiệm: US Department of Defense, European Commission, Agence Nationale de la Recherche
Formal verification of the {PQXDH}{Post-Quantum} key agreement protocol for end-to-end secure messaging
K Bhargavan, C Jacomme, F Kiefer, R Schmidt
33rd USENIX Security Symposium (USENIX Security 24), 469-486, 2024
Các cơ quan ủy nhiệm: Agence Nationale de la Recherche
Automated analysis of protocols that use authenticated encryption: Analysing the impact of the subtle differences between aeads on protocol security
C Cremers, A Dax, C Jacomme, M Zhao
USENIX Security, 2023
Các cơ quan ủy nhiệm: Agence Nationale de la Recherche
The Squirrel Prover and its Logic
D Baelde, S Delaune, C Jacomme, A Koutsos, J Lallemand
ACM SIGLOG News 11 (2), 62-83, 2024
Các cơ quan ủy nhiệm: Agence Nationale de la Recherche
Post-quantum sound CryptoVerif and verification of hybrid TLS and SSH key-exchanges
B Blanchet, C Jacomme
2024 IEEE 37th Computer Security Foundations Symposium (CSF), 543-556, 2024
Các cơ quan ủy nhiệm: Agence Nationale de la Recherche
TokenWeaver: Privacy Preserving and Post-Compromise Secure Attestation
C Cremers, G Horowitz, C Jacomme, E Ronen
Cryptology ePrint Archive, 2022
Các cơ quan ủy nhiệm: Agence Nationale de la Recherche
Inria Paris, France September 28, 2024
B Blanchet, D Cadé, C Jacomme
Các cơ quan ủy nhiệm: Agence Nationale de la Recherche
Extending the SQUIRREL meta-logic for reasoning over security protocols
D Baelde, S Delaune, C Jacomme, A Koutsos, S Moreau
Các cơ quan ủy nhiệm: European Commission, Agence Nationale de la Recherche
Chương trình máy tính sẽ tự động xác định thông tin xuất bản và thông tin về nhà tài trợ