Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Benjamin Grégoire

Proof Certificates for Algebra and Their Application to Automatic Geometry Theorem Proving

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Computer-Aided Security Proofs for the Working Cryptographer

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Extending Coq With Imperative Features and Its Application to SAT Verification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Computer-Aided Cryptographic Proofs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Strong Non-Interference and Type-Directed Higher-Order Masking

2016English

A New Elimination Rule for the Calculus of Inductive Constructions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy