The Squirrel Prover and its Logic.
ACM SIGLOG News, April, 2024
Formal Security Analysis of Widevine through the W3C EME Standard.
Proceedings of the 33rd USENIX Security Symposium, 2024
Sound Verification of Security Protocols: From Design to Interoperable Implementations.
Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023
A Higher-Order Indistinguishability Logic for Cryptographic Reasoning.
Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023
Sound Verification of Security Protocols: From Design to Interoperable Implementations.
Dataset, August, 2022
Sound Verification of Security Protocols: From Design to Interoperable Implementations.
Dataset, August, 2022
Sound Verification of Security Protocols: From Design to Interoperable Implementations (extended version).
CoRR, 2022
One Vote Is Enough for Analysing Privacy.
Proceedings of the Computer Security - ESORICS 2022, 2022
A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer.
IACR Cryptol. ePrint Arch., 2020
Fifty Shades of Ballot Privacy: Privacy against a Malicious Board.
IACR Cryptol. ePrint Arch., 2020
Electronic Voting: Definitions and Analysis Techniques. (Vote électronique : définitions et techniques d'analyse).
PhD thesis, 2019
BeleniosVS: Secrecy and Verifiability Against a Corrupted Voting Device.
Proceedings of the 32nd IEEE Computer Security Foundations Symposium, 2019
Equivalence Properties by Typing in Cryptographic Branching Protocols.
Proceedings of the Principles of Security and Trust - 7th International Conference, 2018
Voting: You Can't Have Privacy without Individual Verifiability.
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018
A Type System for Privacy Properties (Technical Report).
CoRR, 2017
Refining Authenticated Key Agreement with Strong Adversaries.
Arch. Formal Proofs, 2017
Refining Authenticated Key Agreement with Strong Adversaries.
Proceedings of the 2017 IEEE European Symposium on Security and Privacy, 2017
A Type System for Privacy Properties.
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017
Additive normal forms and integration of differential fractions.
J. Symb. Comput., 2016