Olivier Hermant
Author
Alternate names O. Hermant, Olivier Hermant, Hermant Olivier
Past institutions École Nationale Supérieure des Mines de Paris, Centre de Recherche en Informatique, Laboratoire de Mesure du Carbone 14, Université Paris Sciences et Lettres, GGG (France) +5 more
ORCID: Yes
H-index: 10
I10-index: 10
Works count: 87
Citations count: 389
Runtime Analysis of Whole-System Provenance
2018 · Thomas Pasquier, Xueyuan Han, et al. · Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security
The λΠ-calculus Modulo as a Universal Proof Language.
2012 · Mathieu Boespflug, Quentin Carbonneaux, et al.
Semantic Cut Elimination in the Intuitionistic Sequent Calculus
2005 · Olivier Hermant · Lecture notes in computer science