8 results on '"Blanchet, Bruno"'
Search Results
2. Proving More Observational Equivalences with ProVerif
3. Verification of Security Protocols with Lists: From Length One to Unbounded Length
4. Security Protocol Verification: Symbolic and Computational Models
5. Computer-Assisted Verification of a Protocol for Certified Email
6. Verification of Cryptographic Protocols: Tagging Enforces Termination
7. From Secrecy to Authenticity in Security Protocols
8. Abstracting Cryptographic Protocols by Prolog Rules
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.