Benjamin Grégoire
Author
Alternate names B. Robert Gregoire, B. Gregoire, Benjamin Gregoire, Benjamin Grégoire, B. Grégoire +1 more
Past institutions Institut national de recherche en informatique et en automatique, Université Côte d'Azur, Research Centre Inria Sophia Antipolis - Méditerranée, Laboratoire de Mathématiques, Centre Léon Bérard +5 more
ORCID: Yes
H-index: 33
I10-index: 83
Works count: 174
Citations count: 4,097
Formal certification of code-based cryptographic proofs
2009 · Gilles Barthe, Benjamin Grégoire, et al.
Computer-Aided Security Proofs for the Working Cryptographer
2011 · Gilles Barthe, Benjamin Grégoire, et al. · Lecture notes in computer science
Strong Non-Interference and Type-Directed Higher-Order Masking
2016 · Gilles Barthe, Sonia Belaïd, et al. · Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security