Charlie Jacomme
Charlie Jacomme
Home
Open Positions
Teaching
Non Academic Materials
Contact
Light
Dark
Automatic
Caroline Fontaine
Latest
A Logic and an Interactive Prover for the Computational Post-Quantum Security of Protocols
Cite
×