Search

Your search keyword '"Blanchet, Bruno"' showing total 8 results

Search Constraints

Start Over You searched for: Author "Blanchet, Bruno" Remove constraint Author: "Blanchet, Bruno" Topic horn clause Remove constraint Topic: horn clause
8 results on '"Blanchet, Bruno"'

Search Results

1. Automatic Verification of Security Protocols in the Symbolic Model: The Verifier ProVerif

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

Catalog

Books, media, physical & digital resources