Searching for authors named "Bruno Blanchet" – sorted by Relevance.
22 documents found, showing 1 through 10.
Next 10 →
-
Escape Analysis for Java. Theory and Practice
- …Escape Analysis for Java TM . Theory and Practice BRUNO BLANCHET Departement d…
- Cited by 17 (0 self) – Add To MetaCart
-
Abstracting Cryptographic Protocols by Prolog Rules
- …Abstracting Cryptographic Protocols by Prolog Rules Bruno Blanchet INRIA Rocquencourt B.P. 105…
- Cited by 9 (0 self) – Add To MetaCart
-
A computationally sound mechanized prover for security protocols
- … A Computationally Sound Mechanized Prover for Security Protocols Bruno Blanchet*# May 25, 2007…
- Cited by 21 (2 self) – Add To MetaCart
-
Escape Analysis: Correctness Proof, Implementation and Experimental Results
- …Escape Analysis: Correctness Proof, Implementation and Experimental Results Bruno Blanchet ENS…
- Cited by 57 (2 self) – Add To MetaCart
-
From Secrecy to Authenticity in Security Protocols
- …From Secrecy to Authenticity in Security Protocols ? Bruno Blanchet 1;2 1 Departement d…
- Cited by 48 (8 self) – Add To MetaCart
-
Escape Analysis for Object Oriented Languages. Application to Java
- …Escape Analysis for Object Oriented Languages. Application to Java TM Bruno BLANCHET INRIA…
- Cited by 85 (1 self) – Add To MetaCart
-
Automatic verification of correspondences for security protocols
- …Automatic Verification of Correspondences for Security Protocols ∗ Bruno Blanchet CNRS…
- Cited by 3 (1 self) – Add To MetaCart
-
Automated Security Proofs with Sequences of Games
- …Automated Security Proofs with Sequences of Games Bruno Blanchet and David Pointcheval CNRS, École…
- Cited by 6 (0 self) – Add To MetaCart
-
A calculus for secure mobility
- … A Calculus for Secure Mobility Bruno Blanchet1 and Benjamin Aziz2 1 CNRS, D'epartement d…
- Cited by 3 (1 self) – Add To MetaCart
-
Verification of cryptographic protocols: Tagging enforces termination
- … Verification of Cryptographic Protocols: Tagging Enforces Termination Bruno Blanchet1…
- Cited by 40 (3 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
