Next upcoming seminar
Bruno Blanchet (INRIA)
[Joint FM-SEC talk] The security protocol verifier ProVerif and its recent improvements: lemmas, induction, fast subsumption, and much more
18 May 2022
142040
Event Starts refresh page to see next upcoming event
DD
days
HH
hours
MM
min
Partner Institutions
