Filter your results
- 12
- 2
- 1
- 1
- 1
- 17
- 7
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 17
- 12
- 12
- 6
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 16
- 16
- 16
- 16
- 13
- 12
- 12
- 12
- 12
- 12
- 12
- 12
- 12
- 11
- 10
- 9
- 7
- 6
- 6
- 6
- 6
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 16
- 1
- 16
- 1
- 3
- 3
- 3
- 4
- 1
- 2
- 1
|
|
sorted by
|
|
A Logic and an Interactive Prover for the Computational Post-Quantum Security of ProtocolsS&P 2022 - 43rd IEEE Symposium on Security and Privacy, May 2022, San Francisco / Virtual, United States
Conference papers
hal-03620358v3
|
||
|
An Extensive Formal Analysis of Multi-factor Authentication ProtocolsACM Transactions on Privacy and Security, 2021, 24 (2), pp.1-34. ⟨10.1145/3440712⟩
Journal articles
hal-03468848v1
|
||
Formal Analysis of Session-Handling in Secure Messaging: Lifting Security from Sessions to ConversationsUSENIX Security 2023 - 32nd USENIX SEcurity Symposium, Aug 2023, Anaheim, United States
Conference papers
hal-03996689v1
|
|||
|
A comprehensive, formal and automated analysis of the EDHOC protocolUSENIX Security '23 - 32nd USENIX Security Symposium, Aug 2023, Anaheim, CA, United States
Conference papers
hal-03810102v1
|
||
|
Oracle simulation: a technique for protocol composition with long term shared secretsACM CCS 2020, Nov 2020, Orlando, United States. pp.1427-1444
Conference papers
hal-02913866v1
|
||
|
Symbolic Proofs for Lattice-Based CryptographyCCS 2018 - Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security Canada, October 15-19, 2018, Oct 2018, Toronto, Canada. pp.538-555, ⟨10.1145/3243734.3243825⟩
Conference papers
hal-01959391v2
|
||
|
An Interactive Prover for Protocol Verification in the Computational ModelSP 2021 - 42nd IEEE Symposium on Security and Privacy, May 2021, San Fransisco / Virtual, United States
Conference papers
hal-03172119v1
|
||
|
Extending the SQUIRREL meta-logic for reasoning over security protocols2021
Preprints, Working Papers, ...
hal-03264227v1
|
||
|
Symbolic Methods in Computational Cryptography ProofsCSF2019 - 32nd IEEE Computer Security Foundations Symposium, Jun 2019, Hoboken, United States. pp.136-13615, ⟨10.1109/CSF.2019.00017⟩
Conference papers
hal-02404701v1
|
||
|
Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses32nd USENIX Security Symposium, Aug 2023, Anaheim, United States
Conference papers
hal-03795715v1
|
||
|
Universal equivalence and majority of probabilistic programs over finite fields[Research Report] MPI SP; LSV, ENS Cachan, CNRS, INRIA, Université Paris-Saclay, Cachan (France); LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2020
Reports
hal-02552287v2
|
||
|
Symbolic Models for Isolated Execution Environments2nd IEEE European Symposium on Security and Privacy (EuroS&P'17), Apr 2017, Paris, France. ⟨10.1109/EuroSP.2017.16⟩
Conference papers
hal-01396291v1
|
||
|
Universal equivalence and majority of probabilistic programs over finite fieldsACM/IEEE LICS 2020 - 35th Annual Symposium on Logic in Computer Science, Jul 2020, Saarbrücken / Virtual, Germany. pp.155-166, ⟨10.1145/3373718.3394746⟩
Conference papers
hal-02961583v1
|
||
|
Preuves de protocoles cryptographiques : méthodes symboliques et attaquants puissantsCryptographie et sécurité [cs.CR]. Université Paris-Saclay, 2020. Français. ⟨NNT : 2020UPASG005⟩
Theses
tel-02972373v1
|
||
|
An extensive formal analysis of multi-factor authentication protocolsCSF'2018 - 31st IEEE Computer Security Foundations Symposium, Jul 2018, Oxford, United Kingdom. ⟨10.1109/CSF.2018.00008⟩
Conference papers
hal-01922022v1
|
||
|
Universal Equivalence and Majority of Probabilistic Programs over Finite FieldsACM Transactions on Computational Logic, 2022, 23 (1), pp.1-42. ⟨10.1145/3487063⟩
Journal articles
hal-03468834v1
|
||
|
Sapic+ : protocol verifiers of the world, unite!USENIX 2022 - 31st USENIX Security Symposium, Aug 2022, Boston, United States
Conference papers
hal-03693843v3
|