Bruno Blanchet

Available identifiers

zbMath Open blanchet.brunoMaRDI QIDQ1041814

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6197212	2024-02-16	Paper
Analysing the HPKE standard	2021-12-08	Paper
The Applied Pi Calculus	2018-08-02	Paper
Automatic Verification of Security Protocols in the Symbolic Model: The Verifier ProVerif	2015-05-27	Paper
Analyzing security protocols with secrecy types and logic programs	2015-03-17	Paper
Proved Generation of Implementations from Computationally Secure Protocol Specifications	2013-08-06	Paper
Proving More Observational Equivalences with ProVerif	2013-08-06	Paper
Security Protocol Verification: Symbolic and Computational Models	2012-06-29	Paper
Verification of Security Protocols with Lists: From Length One to Unbounded Length	2012-06-29	Paper
Security protocols: from linear to classical logic by abstract interpretation	2009-12-04	Paper
Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation	2009-08-11	Paper
Models and Proofs of Protocol Security: A Progress Report	2009-06-30	Paper
Analyzing security protocols with secrecy types and logic programs	2008-12-21	Paper
Automated verification of selected equivalences for security protocols	2008-03-05	Paper
Programming Languages and Systems	2007-09-28	Paper
Automated Security Proofs with Sequences of Games	2007-09-04	Paper
Computer-assisted verification of a protocol for certified email	2005-10-10	Paper
Verification of cryptographic protocols: tagging enforces termination	2005-04-06	Paper
https://portal.mardi4nfdi.de/entity/Q4813405	2004-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4417856	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4414726	2003-07-27	Paper
https://portal.mardi4nfdi.de/entity/Q4411970	2003-07-13	Paper
Secrecy types for asymmetric communication.	2003-05-25	Paper
https://portal.mardi4nfdi.de/entity/Q4778712	2002-11-19	Paper
https://portal.mardi4nfdi.de/entity/Q2769422	2002-02-05	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Bruno Blanchet