| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Karthikeyan Bhargavan, Cédric Fournet, Ricardo Corin, Eugen Zalinescu |
Verified Cryptographic Implementations for TLS.  |
ACM Trans. Inf. Syst. Secur.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre-Yves Strub, Nikhil Swamy, Cédric Fournet, Juan Chen |
Self-certification: bootstrapping certified typecheckers in F* with Coq. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis |
Refinement types for secure implementations. |
ACM Trans. Program. Lang. Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Cédric Fournet, Karthikeyan Bhargavan, Andrew D. Gordon |
Cryptographic Verification by Typing for a Sample Protocol Implementation. |
FOSAD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, Jean Yang |
Secure distributed programming with value-dependent types. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Cédric Fournet, Jérémy Planul |
Compiling Information-Flow Security to Minimal Trusted Computing Bases. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Cédric Fournet, Markulf Kohlweiss, Pierre-Yves Strub |
Modular code-based cryptographic verification. |
ACM Conference on Computer and Communications Security |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Cédric Fournet, Jérémy Planul, Tamara Rezk |
Information-flow types for homomorphic encryptions. |
ACM Conference on Computer and Communications Security |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Moritz Y. Becker, Cédric Fournet, Andrew D. Gordon |
SecPAL: Design and semantics of a decentralized authorization language. |
Journal of Computer Security |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew D. Gordon, Cédric Fournet |
Principles and Applications of Refinement Types. |
Logics and Languages for Reliability and Security |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon |
Modular verification of security protocol code by typing. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
f7, refinement type |
| 1 | Karthikeyan Bhargavan, Cédric Fournet, Nataliya Guts |
Typechecking Higher-Order Security Libraries. |
APLAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérémy Planul, Ricardo Corin, Cédric Fournet |
Secure Enforcement for Global Process Specifications. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Karthikeyan Bhargavan, Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, James J. Leifer |
Cryptographic Protocol Synthesis and Verification for Multiparty Sessions. |
CSF |
2009 |
DBLP DOI BibTeX RDF |
multiparty sessions, cryptography, type systems, ML |
| 1 | Cédric Fournet, Gurvan Le Guernic, Tamara Rezk |
A security-preserving compiler for distributed programs: from information-flow policies to cryptographic mechanisms. |
ACM Conference on Computer and Communications Security |
2009 |
DBLP DOI BibTeX RDF |
cryptography, compilers, computational model |
| 1 | Nataliya Guts, Cédric Fournet, Francesco Zappa Nardelli |
Reliable Evidence: Auditability by Typing. |
ESORICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, Karthikeyan Bhargavan, James J. Leifer |
A secure compiler for session abstractions. |
Journal of Computer Security |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Blanchet, Martín Abadi, Cédric Fournet |
Automated verification of selected equivalences for security protocols. |
J. Log. Algebr. Program. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon |
Verifying policy-based web services security. |
ACM Trans. Program. Lang. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Web services, pi calculus, XML security |
| 1 | Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Stephen Tse |
Verified interoperable implementations of security protocols. |
ACM Trans. Program. Lang. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Web services, Functional programming, pi calculus, XML security |
| 1 | Cédric Fournet, Tamara Rezk |
Cryptographically sound implementations for typed information-flow security. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
probabilistic programs, cryptography, compilers, integrity, type systems, computational model, confidentiality, non-interference, secure information flow |
| 1 | Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis |
Refinement Types for Secure Implementations. |
CSF |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Barthe, Cédric Fournet (eds.) |
Trustworthy Global Computing, Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers |
TGC |
2008 |
DBLP BibTeX RDF |
|
| 1 | Cédric Fournet, Nataliya Guts, Francesco Zappa Nardelli |
A Formal Implementation of Value Commitment. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Nikhil Swamy |
Verified implementations of the information card federated identity-management protocol. |
ASIACCS |
2008 |
DBLP DOI BibTeX RDF |
cryptographic protocol verification, verified implementations, web services security, federated identity management, CardSpace |
| 1 | Karthikeyan Bhargavan, Cédric Fournet, Ricardo Corin, Eugen Zalinescu |
Cryptographically verified implementations for TLS. |
ACM Conference on Computer and Communications Security |
2008 |
DBLP DOI BibTeX RDF |
verified implementations, authentication, cryptographic protocols, SSL, TLS, secrecy |
| 1 | Sergio Maffeis, Martín Abadi, Cédric Fournet, Andrew D. Gordon |
Code-Carrying Authorization. |
ESORICS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Cédric Fournet, Andrew D. Gordon, Sergio Maffeis |
A type discipline for authorization policies. |
ACM Trans. Program. Lang. Syst. |
2007 |
DBLP DOI BibTeX RDF |
Authorization, type systems, process calculus, spi calculus |
| 1 | Martín Abadi, Bruno Blanchet, Cédric Fournet |
Just fast keying in the pi calculus. |
ACM Trans. Inf. Syst. Secur. |
2007 |
DBLP DOI BibTeX RDF |
IP security, key exchange, process calculus |
| 1 | Karthikeyan Bhargavan, Ricardo Corin, Cédric Fournet, Andrew D. Gordon |
Secure sessions for Web services. |
ACM Trans. Inf. Syst. Secur. |
2007 |
DBLP DOI BibTeX RDF |
Web services, XML security |
| 1 | Moritz Y. Becker, Cédric Fournet, Andrew D. Gordon |
Design and Semantics of a Decentralized Authorization Language. |
CSF |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, Karthikeyan Bhargavan, James J. Leifer |
Secure Implementations for Typed Session Abstractions. |
CSF |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Cédric Fournet, Andy Gordon, Sergio Maffeis |
A Type Discipline for Authorization in Distributed Systems. |
CSF |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Adão, Cédric Fournet |
Cryptographically Sound Implementations for Communicating Processes. |
ICALP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon |
Verified Reference Implementations of WS-Security Protocols. |
WS-FM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Stephen Tse |
Verified Interoperable Implementations of Security Protocols. |
CSFW |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Ricardo Corin, Cédric Fournet |
Computational Secrecy by Typing for the Pi Calculus. |
APLAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Cédric Fournet, Georges Gonthier |
A hierarchy of equivalences for asynchronous calculi. |
J. Log. Algebr. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon |
A semantics for web services authentication. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Blanchet, Martín Abadi, Cédric Fournet |
Automated Verification of Selected Equivalences for Security Protocols. |
LICS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Greg O'Shea |
An advisor for web services security policies. |
SWS |
2005 |
DBLP DOI BibTeX RDF |
policy-driven security, web services, WS-security, XML security |
| 1 | Cédric Fournet, Andrew D. Gordon, Sergio Maffeis |
A Type Discipline for Authorization Policies. |
ESOP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Cédric Fournet |
Private authentication. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Nick Benton, Luca Cardelli, Cédric Fournet |
Modern concurrency abstractions for C#. |
ACM Trans. Program. Lang. Syst. |
2004 |
DBLP DOI BibTeX RDF |
join calculus, polyphonic C?, synchronization, events, threads, messages, Asynchrony, chords |
| 1 | Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Riccardo Pucella |
TulaFale: A Security Tool for Web Services |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Richard Black, Austin Donnelly, Cédric Fournet |
Ethernet Topology Discovery without Network Assistance. |
ICNP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon |
A semantics for web services authentication. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
web services, XML security, applied pi calculus |
| 1 | Frédéric Besson, Tomasz Blanc, Cédric Fournet, Andrew D. Gordon |
From Stack Inspection to Access Control: A Security Analysis for Libraries. |
CSFW |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Cédric Fournet, C. A. R. Hoare, Sriram K. Rajamani, Jakob Rehof |
Stuck-Free Conformance. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Karthikeyan Bhargavan, Ricardo Corin, Cédric Fournet, Andrew D. Gordon |
Secure sessions for web services. |
SWS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Bruno Blanchet, Cédric Fournet |
Just Fast Keying in the Pi Calculus. |
ESOP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon |
Verifying policy-based security for web services. |
ACM Conference on Computer and Communications Security |
2004 |
DBLP DOI BibTeX RDF |
web services, pi calculus, XML security |
| 1 | Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy |
Inheritance in the join calculus. |
J. Log. Algebr. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Cédric Fournet, Andrew D. Gordon |
Stack inspection: Theory and variants. |
ACM Trans. Program. Lang. Syst. |
2003 |
DBLP DOI BibTeX RDF |
Access control, operational semantics, stack inspection, equational reasoning, contextual equivalence |
| 1 | Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Riccardo Pucella |
TulaFale: A Security Tool for Web Services. |
FMCO |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Cédric Fournet |
Access Control Based on Execution History. |
NDSS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Martín Abadi, Cédric Fournet, Georges Gonthier |
Secure Implementation of Channel Abstractions. |
Inf. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Cédric Fournet, Andrew D. Gordon |
Stack inspection: theory and variants. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Cédric Fournet, Fabrice Le Fessant, Luc Maranget, Alan Schmitt |
JoCaml: A Language for Concurrent Distributed and Mobile Programming. |
Advanced Functional Programming |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Nick Benton, Luca Cardelli, Cédric Fournet |
Modern Concurrency Abstractions for C#. |
ECOOP |
2002 |
DBLP BibTeX RDF |
|
| 1 | Cédric Fournet, Martín Abadi |
Hiding Names: Private Authentication in the Applied Pi Calculus. |
ISSS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Cédric Fournet, Cosimo Laneve |
Bisimulations in the join-calculus. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Cédric Fournet |
Mobile values, new names, and secure communication. |
POPL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Cédric Fournet, Georges Gonthier |
Authentication Primitives and Their Compilation. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Cédric Fournet, Jean-Jacques Lévy, Alan Schmitt |
An Asynchronous, Distributed Implementation of Mobile Ambients. |
IFIP TCS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy |
Inheritance in the Join Calculus. |
FSTTCS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Cédric Fournet, Georges Gonthier |
The Join Calculus: A Language for Distributed Mobile Programming. |
APPSEM |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Cédric Fournet, Georges Gonthier |
Secure Communications Processing for Distributed Languages. (PDF / PS) |
IEEE Symposium on Security and Privacy |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Cédric Fournet, Georges Gonthier |
A Top-Down Look at a Secure Message. |
FSTTCS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Cédric Fournet, Georges Gonthier |
A Hierarchy of Equivalences for Asynchronous Calculi. |
ICALP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Boreale, Cédric Fournet, Cosimo Laneve |
Bisimulations in the join-calculus. |
PROCOMET |
1998 |
DBLP BibTeX RDF |
|
| 1 | Martín Abadi, Cédric Fournet, Georges Gonthier |
Secure Implementation of Channel Abstractions. |
LICS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Cédric Fournet, Georges Gonthier |
Secure Implementation of Channel Abstractions. |
Electr. Notes Theor. Comput. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy |
Implicit Typing à la ML for the Join-Calculus. |
CONCUR |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget, Didier Rémy |
A Calculus of Mobile Agents. |
CONCUR |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Cédric Fournet, Georges Gonthier |
The Reflexive CHAM and the Join-Calculus. |
POPL |
1996 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")