C\'edric Fournet

Identifiers

No identifiers captured yet.

Papers (2)

1. Recalling a Witness: Foundations and Applications of Monotonic State cs.PL · 2017 · author #2
2. The Applied Pi Calculus: Mobile Values, New Names, and Secure Communication cs.CR · 2016 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Aseem Rastogi 1 shared papers
• Bruno Blanchet 1 shared papers
• Catalin Hritcu 1 shared papers
• Danel Ahman 1 shared papers
• Kenji Maillard 1 shared papers
• Mart\'in Abadi 1 shared papers
• Nikhil Swamy 1 shared papers