VC3: Trustworthy Data Analytics in the Cloud Using SGX von Schuster, Felix, Costa, Manuel, Fournet, Cedric, Gkantsidis, Christos, Peinado, Marcus, Mainar-Ruiz, Gloria, Russinovich, Mark

Volltext

Geppetto: Versatile Verifiable Computation von Costello, Craig, Fournet, Cedric, Howell, Jon, Kohlweiss, Markulf, Kreuter, Benjamin, Naehrig, Michael, Parno, Bryan, Zahur, Samee

Volltext

A Messy State of the Union: Taming the Composite State Machines of TLS von Beurdouche, Benjamin, Bhargavan, Karthikeyan, Delignat-Lavaud, Antoine, Fournet, Cedric, Kohlweiss, Markulf, Pironti, Alfredo, Strub, Pierre-Yves, Zinzindohoue, Jean Karim

Volltext

Triple Handshakes and Cookie Cutters: Breaking and Fixing Authentication over TLS von Bhargavan, Karthikeyan, Lavaud, Antoine Delignat, Fournet, Cedric, Pironti, Alfredo, Strub, Pierre Yves

Volltext

The Applied Pi Calculus: Mobile Values, New Names, and Secure Communication von Abadi, Martín, Blanchet, Bruno, Fournet, Cédric

Volltext

SecPAL: Design and semantics of a decentralized authorization language von Becker, Moritz Y., Fournet, Cédric, Gordon, Andrew D.

Volltext

Implementing and Proving the TLS 1.3 Record Layer von Delignat-Lavaud, Antoine, Fournet, Cedric, Kohlweiss, Markulf, Protzenko, Jonathan, Rastogi, Aseem, Swamy, Nikhil, Zanella-Beguelin, Santiago, Bhargavan, Karthikeyan, Jianyang Pan, Zinzindohoue, Jean Karim

Volltext

Downgrade Resilience in Key-Exchange Protocols von Bhargavan, Karthikeyan, Brzuska, Christina, Fournet, Cedric, Green, Matthew, Kohlweiss, Markulf, Zanella-Beguelin, Santiago

Volltext

Secure distributed programming with value-dependent types von SWAMY, NIKHIL, CHEN, JUAN, FOURNET, CÉDRIC, STRUB, PIERRE-YVES, BHARGAVAN, KARTHIKEYAN, YANG, JEAN

Volltext

Recalling a witness: foundations and applications of monotonic state von Ahman, Danel, Fournet, Cédric, Hriţcu, Cătălin, Maillard, Kenji, Rastogi, Aseem, Swamy, Nikhil

Volltext

Verified interoperable implementations of security protocols von Bhargavan, Karthikeyan, Fournet, Cedric, Gordon, Andrew D, Tse, Stephen

Volltext

Modern concurrency abstractions for C# von Benton, Nick, Cardelli, Luca, Fournet, Cedric

Volltext

Design and Semantics of a Decentralized Authorization Language von Becker, M.Y., Fournet, C., Gordon, A.D.

Volltext

Refinement Types for Secure Implementations von BENGTSON, Jesper, BHARGAVAN, Karthikeyan, FOURNET, Cédric, GORDON, Andrew D, MAFFEIS, Sergio

Volltext

Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability von Howard, Heidi, Alder, Fritz, Ashton, Edward, Chamayou, Amaury, Clebsch, Sylvan, Costa, Manuel, Delignat-Lavaud, Antoine, Fournet, Cédric, Jeffery, Andrew, Kerner, Matthew, Kounelis, Fotios, Kuppe, Markus A., Maffre, Julien, Russinovich, Mark, Wintersteiger, Christoph M.

Volltext

Implementing TLS with Verified Cryptographic Security von Bhargavan, K., Fournet, C., Kohlweiss, M., Pironti, A., Strub, P.

Volltext

Automated verification of selected equivalences for security protocols von Blanchet, Bruno, Abadi, Martín, Fournet, Cédric

Volltext

Verified low-level programming embedded in F von Protzenko, Jonathan, Zinzindohoué, Jean-Karim, Rastogi, Aseem, Ramananandro, Tahina, Wang, Peng, Zanella-Béguelin, Santiago, Delignat-Lavaud, Antoine, Hriţcu, Cătălin, Bhargavan, Karthikeyan, Fournet, Cédric, Swamy, Nikhil

Volltext

Square Span Programs with Applications to Succinct NIZK Arguments von Danezis, George, Fournet, Cédric, Groth, Jens, Kohlweiss, Markulf

Volltext

Secure Implementations for Typed Session Abstractions von Corin, R., Denielou, P.-M., Fournet, C., Bhargavan, K., Leifer, J.

Volltext