Applied Pi Calculus

Applied Pi Calculus is a formal process calculus that extends the pi-calculus with primitives for modeling cryptographic operations and equivalence relations, enabling rigorous analysis of security protocols in terms of behavioral equivalence and observational indistinguishability.

Publications

3.2K

Citations

Authors

Institutions

Publications per year

2017–2026

Parents

Protocol AnalysisProtocol VerificationSecurity Protocol Verification

Publications

Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif

Bruno Blanchet · Foundations and Trends® in Privacy and Security · 2016 · 293 citations · Full text

Computing, Computer Science, Authentication +16

Verifying privacy-type properties of electronic voting protocols

Stéphanie Delaune, Steve Kremer, Mark Ryan · Journal of Computer Security · 2009 · 289 citations

Computing, Computer Science, Cryptography +14

A pi-calculus based semantics for WS-BPEL

Roberto Lucchi, Manuel Mazzara · The Journal of Logic and Algebraic Programming · 2006 · 258 citations

Computing, Computer Engineering, Computer Science +8

Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-Calculus

Michael Backes, Cătălin Hriţcu, Matteo Maffei · 2008 · 148 citations

Computing, Computer Science, Computer Systems +17

Automated Verification for Secure Messaging Protocols and Their Implementations: A Symbolic and Computational Approach

Nadim Kobeissi, Karthikeyan Bhargavan, Bruno Blanchet · 2017 · 146 citations · Full text

Computing, Computer Engineering, Computer Science +17

1–5 of 57

Authors

SD
Stéphanie Delaune
Centre National de la Recherche Scientifique, France
9 publications · 658 citations
9
h-index
BB
Bruno Blanchet
Institut national de recherche en sciences et technologies du numérique, France
8 publications · 672 citations
8
h-index
SK
Steve Kremer
Institut national de recherche en sciences et technologies du numérique, France
8 publications · 650 citations
8
h-index
MR
Mark Ryan
University of Birmingham, United Kingdom
6 publications · 632 citations
6
h-index
VC
Véronique Cortier
Laboratoire Lorrain de Recherche en Informatique et ses Applications, France
5 publications · 259 citations
5
h-index

1–5 of 94

Institutions

1–8 of 62

Venues

Journal of Computer Security
7 publications · 537 citations
7
h-index
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)
Repository · 2 publications · 44 citations
2
h-index
ACM Transactions on Privacy and Security
2 publications · 57 citations
2
h-index
The Journal of Logic and Algebraic Programming
2 publications · 268 citations
2
h-index
ACM Transactions on Computational Logic
TOCL · 2 publications · 92 citations
2
h-index

1–5