-
Computer Aided Security for Cryptographic Primitives, Voting protocols, and W...
Security is one of the main issues of modern computer science. Nowadays more and more people use a computer to perform sensitive operations like bank transfer,... -
Automatic verification of cryptographic protocols : privacy-type properties
Many tools have been developed to automatically verify security properties on cryptographic protocols. But until recently, most tools focused on trace properties (or...
