Justine Sauvage
Open Menu
Close Menu
Bio
Papers
Talks
Experience
Teaching
Tags
Computational model
2
E-voting
1
Ethereum
1
Formal methods
2
Formal Methods for Security
1
Mathématique discrète
2
Proof mechanization
1
Protocols
2
Security in Distributed Systems
1
Smart Contrats
1