Benjamin Grégoire
Orcid: 0000-0001-6650-9924Affiliations:
- Research Centre Inria Sophia Antipolis - Méditerranée: Valbonne, France
According to our database1,
Benjamin Grégoire
authored at least 104 papers
between 2002 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
J. Cryptol., March, 2024
Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs.
Proc. ACM Program. Lang., 2024
IACR Cryptol. ePrint Arch., 2024
Formally verifying Kyber Episode V: Machine-checked IND-CCA security and correctness of ML-KEM in EasyCrypt.
IACR Cryptol. ePrint Arch., 2024
Proceedings of the 37th IEEE Computer Security Foundations Symposium, 2024
2023
Mechanized Proofs of Adversarial Complexity and Application to Universal Composability.
ACM Trans. Priv. Secur., August, 2023
IACR Trans. Cryptogr. Hardw. Embed. Syst., 2023
Machine-Checked Security for $\mathrm{XMSS}$ as in RFC 8391 and $\mathrm{SPHINCS}^{+}$.
IACR Cryptol. ePrint Arch., 2023
IACR Cryptol. ePrint Arch., 2023
IACR Cryptol. ePrint Arch., 2023
Proceedings of the Advances in Cryptology - CRYPTO 2023, 2023
Practical and Sound Equality Tests, Automatically: Deriving eqType Instances for Jasmin's Data Types with Coq-Elpi.
Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023
2022
2021
Masking in Fine-Grained Leakage Models: Construction, Implementation and Verification.
IACR Trans. Cryptogr. Hardw. Embed. Syst., 2021
IEEE Trans. Computers, 2021
IACR Cryptol. ePrint Arch., 2021
Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021
2020
Proc. ACM Program. Lang., 2020
Improved parallel mask refreshing algorithms: generic solutions with parametrized non-interference and automated optimizations.
J. Cryptogr. Eng., 2020
IACR Cryptol. ePrint Arch., 2020
Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020
Proceedings of the 17th International Joint Conference on e-Business and Telecommunications, 2020
2019
IACR Cryptol. ePrint Arch., 2019
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019
maskVerif: Automated Verification of Higher-Order Masking in Presence of Physical Defaults.
Proceedings of the Computer Security - ESORICS 2019, 2019
Proceedings of the 32nd IEEE Computer Security Foundations Symposium, 2019
Machine-Checked Proofs for Cryptographic Standards: Indifferentiability of Sponge and Secure High-Assurance Implementations of SHA-3.
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019
2018
Proc. ACM Program. Lang., 2018
IACR Cryptol. ePrint Arch., 2018
Improved Parallel Mask Refreshing Algorithms: Generic Solutions with Parametrized Non-Interference & Automated Optimizations.
IACR Cryptol. ePrint Arch., 2018
Proceedings of the Programming Languages and Systems, 2018
Secure Compilation of Side-Channel Countermeasures: The Case of Cryptographic "Constant-Time".
Proceedings of the 31st IEEE Computer Security Foundations Symposium, 2018
Proceedings of the 31st IEEE Computer Security Foundations Symposium, 2018
2017
IACR Cryptol. ePrint Arch., 2017
A Note on 'Further Improving Efficiency of Higher-Order Masking Scheme by Decreasing Randomness Complexity'.
IACR Cryptol. ePrint Arch., 2017
IACR Cryptol. ePrint Arch., 2017
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017
Proceedings of the LPAR-21, 2017
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017
2016
IACR Cryptol. ePrint Arch., 2016
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016
Proceedings of the 43rd International Colloquium on Automata, Languages, and Programming, 2016
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016
2015
Compositional Verification of Higher-Order Masking: Application to a Verifying Masking Compiler.
IACR Cryptol. ePrint Arch., 2015
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015
Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015
2014
IACR Cryptol. ePrint Arch., 2014
IACR Cryptol. ePrint Arch., 2014
IACR Cryptol. ePrint Arch., 2014
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014
Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014
2013
Proceedings of the Foundations of Security Analysis and Design VII, 2013
Proceedings of the 2013 IEEE 26th Computer Security Foundations Symposium, 2013
Proceedings of the 2013 ACM SIGSAC Conference on Computer and Communications Security, 2013
2012
IACR Cryptol. ePrint Arch., 2012
ERCIM News, 2012
Proceedings of the Static Analysis - 19th International Symposium, 2012
Proceedings of the Mathematics of Program Construction - 11th International Conference, 2012
Proceedings of the Interactive Theorem Proving - Third International Conference, 2012
Proceedings of the 25th IEEE Computer Security Foundations Symposium, 2012
Proceedings of the Certified Programs and Proofs - Second International Conference, 2012
2011
Formal Methods Syst. Des., 2011
Proceedings of the Topics in Cryptology - CT-RSA 2011, 2011
Proceedings of the Advances in Cryptology - CRYPTO 2011, 2011
Proceedings of the Certified Programs and Proofs - First International Conference, 2011
Proceedings of the Certified Programs and Proofs - First International Conference, 2011
2010
On Strong Normalization of the Calculus of Constructions with Type-Based Termination.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010
Proceedings of the Interactive Theorem Proving, First International Conference, 2010
Proceedings of the Interactive Theorem Proving, First International Conference, 2010
Proceedings of the 23rd IEEE Computer Security Foundations Symposium, 2010
2009
ACM Trans. Program. Lang. Syst., 2009
Proceedings of the 30th IEEE Symposium on Security and Privacy (SP 2009), 2009
Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009
Proceedings of the Formal Methods and Software Engineering, 2009
2008
Proceedings of the Types for Proofs and Programs, International Conference, 2008
Proceedings of the Language Engineering and Rigorous Software Development, International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24, 2008
Proceedings of the Formal Aspects in Security and Trust, 5th International Workshop, 2008
Proceedings of the Computer Science Logic, 22nd International Workshop, 2008
Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008
Proof Certificates for Algebra and Their Application to Automatic Geometry Theorem Proving.
Proceedings of the Automated Deduction in Geometry - 7th International Workshop, 2008
2007
Combining a Verification Condition Generator for a Bytecode Language with Static Analyses.
Proceedings of the Trustworthy Global Computing, Third Symposium, 2007
Proceedings of the Formal Methods for Components and Objects, 6th International Symposium, 2007
2006
Proceedings of the Trustworthy Global Computing, Second Symposium, 2006
CIC[^( )]: Type-Based Termination of Recursive Definitions in the Calculus of Inductive Constructions.
Proceedings of the Logic for Programming, 2006
Proceedings of the Formal Methods for Components and Objects, 5th International Symposium, 2006
Proceedings of the Functional and Logic Programming, 8th International Symposium, 2006
A Purely Functional Library for Modular Arithmetic and Its Application to Certifying Large Prime Numbers.
Proceedings of the Automated Reasoning, Third International Joint Conference, 2006
2005
Proceedings of the Theorem Proving in Higher Order Logics, 18th International Conference, 2005
Proceedings of the Typed Lambda Calculi and Applications, 7th International Conference, 2005
Proceedings of the Computer Science Logic, 19th International Workshop, 2005
2004
Proceedings of the Types for Proofs and Programs, International Workshop, 2004
2002
Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), 2002