Cédric Fournet

Available identifiers

zbMath Open fournet.cedricMaRDI QIDQ557893

List of research outcomes

Publication	Date of Publication	Type
Key-schedule security for the TLS 1.3 standard	2023-08-25	Paper
A calculus of mobile agents	2023-06-28	Paper
Implicit typing à la ML for the join-calculus	2023-05-17	Paper
State separation for code-based game-playing proofs	2019-01-23	Paper
The Applied Pi Calculus	2018-08-02	Paper
Dependent types and multi-monadic effects in F*	2016-10-24	Paper
Safe & Efficient Gradual Typing for TypeScript	2016-09-29	Paper
A semantics for web services authentication	2015-11-11	Paper
Self-certification	2015-09-11	Paper
Modular verification of security protocol code by typing	2015-06-11	Paper
Authentication primitives and their compilation	2015-03-17	Paper
Mobile values, new names, and secure communication	2015-03-17	Paper
Stack inspection	2015-03-17	Paper
Secure distributed programming with value-dependent types	2015-03-05	Paper
Square Span Programs with Applications to Succinct NIZK Arguments	2015-01-16	Paper
Fully abstract compilation to JavaScript	2014-11-27	Paper
Cryptographically sound implementations for typed information-flow security	2014-09-12	Paper
Proving the TLS Handshake Secure (As It Is)	2014-08-07	Paper
Probabilistic relational verification for cryptographic implementations	2014-04-10	Paper
Gradual typing embedded securely in JavaScript	2014-04-10	Paper
Secure distributed programming with value-dependent types	2014-02-27	Paper
Cryptographic Verification by Typing for a Sample Protocol Implementation	2011-09-16	Paper
Compiling Information-Flow Security to Minimal Trusted Computing Bases	2011-05-19	Paper
Principles and Applications of Refinement Types	2010-12-13	Paper
Secure Enforcement for Global Process Specifications	2009-10-22	Paper
Computational Secrecy by Typing for the Pi Calculus	2008-05-06	Paper
A Formal Implementation of Value Commitment	2008-04-11	Paper
https://portal.mardi4nfdi.de/entity/Q5447364	2008-03-06	Paper
Automated verification of selected equivalences for security protocols	2008-03-05	Paper
Programming Languages and Systems	2007-09-28	Paper
Cryptographically Sound Implementations for Communicating Processes	2007-09-11	Paper
Programming Languages and Systems	2005-09-13	Paper
Computer Aided Verification	2005-08-25	Paper
Formal Methods for Components and Objects	2005-08-22	Paper
A semantics for web services authentication	2005-06-30	Paper
A hierarchy of equivalences for asynchronous calculi	2005-04-18	Paper
Private authentication	2004-10-04	Paper
https://portal.mardi4nfdi.de/entity/Q4813226	2004-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q3046754	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4472462	2004-08-04	Paper
Inheritance in the join calculus.	2004-03-14	Paper
https://portal.mardi4nfdi.de/entity/Q4418586	2003-08-11	Paper
Secure implementation of channel abstractions	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q4536436	2002-06-25	Paper
Bisimulations in the join-calculus	2002-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q4501667	2000-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q4219054	1999-02-14	Paper
https://portal.mardi4nfdi.de/entity/Q4222942	1999-01-06	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: Cédric Fournet