Travelled to:1 × Denmark
1 × Germany
1 × Hungary
1 × India
1 × Japan
3 × Italy
3 × Spain
3 × United Kingdom
9 × USA
Collaborated with:M.Abadi G.Gonthier A.D.Gordon N.Swamy K.Bhargavan P.Strub J.Chen B.Blanchet A.Rastogi J.Planul T.Rezk P.Adão G.M.Bierman N.Guts F.Z.Nardelli S.Maffeis N.Benton L.Cardelli S.Z.Béguelin C.A.R.Hoare S.K.Rajamani J.Rehof F.L.Fessant L.Maranget A.Schmitt C.Hritcu P.Vekris G.Barthe B.Grégoire P.Dagand B.Livshits J.Yang D.Ahman K.Maillard C.Keller Antoine Delignat-Lavaud Simon Forest Markulf Kohlweiss Jean Karim Zinzindohoue
Talks about:secur (8) type (8) implement (5) cryptograph (3) abstract (3) compil (3) verif (3) valu (3) javascript (2) distribut (2)
Person: Cédric Fournet
DBLP: Fournet:C=eacute=dric
Contributed to:
2015201420132012
2011
2011201020082008
20062005
2005
200420042004
2002
200220022001200019981998199620162018Wrote 26 papers:
- POPL-2015-RastogiSFBV #performance #type system #typescript
- Safe & Efficient Gradual Typing for TypeScript (AR, NS, CF, GMB, PV), pp. 167–180.
- POPL-2014-BartheFGSSB #encryption #implementation #probability #relational #verification
- Probabilistic relational verification for cryptographic implementations (GB, CF, BG, PYS, NS, SZB), pp. 193–206.
- POPL-2014-SwamyFRBCSB #embedded #javascript #type system
- Gradual typing embedded securely in JavaScript (NS, CF, AR, KB, JC, PYS, GMB), pp. 425–438.
- POPL-2013-FournetSCDSL #compilation #javascript
- Fully abstract compilation to JavaScript (CF, NS, JC, PÉD, PYS, BL), pp. 371–384.
- POPL-2012-StrubSFC #coq #named #self
- Self-certification: bootstrapping certified typecheckers in F* with Coq (PYS, NS, CF, JC), pp. 571–584.
- ESOP-2011-FournetP #compilation #data flow #security
- Compiling Information-Flow Security to Minimal Trusted Computing Bases (CF, JP), pp. 216–235.
- ICFP-2011-SwamyCFSBY #dependent type #distributed #programming
- Secure distributed programming with value-dependent types (NS, JC, CF, PYS, KB, JY), pp. 266–278.
- POPL-2010-BhargavanFG #composition #protocol #security #type system #verification
- Modular verification of security protocol code by typing (KB, CF, ADG), pp. 445–456.
- ESOP-2008-FournetGN #implementation
- A Formal Implementation of Value Commitment (CF, NG, FZN), pp. 383–397.
- POPL-2008-FournetR #data flow #encryption #implementation #security
- Cryptographically sound implementations for typed information-flow security (CF, TR), pp. 323–335.
- ICALP-v2-2006-AdaoF #communication #encryption #implementation #process
- Cryptographically Sound Implementations for Communicating Processes (PA, CF), pp. 83–94.
- ESOP-2005-FournetGM #policy
- A Type Discipline for Authorization Policies (CF, ADG, SM), pp. 141–156.
- LICS-2005-BlanchetAF #automation #protocol #security #verification
- Automated Verification of Selected Equivalences for Security Protocols (BB, MA, CF), pp. 331–340.
- CAV-2004-FournetHRR #consistency
- Stuck-Free Conformance (CF, CARH, SKR, JR), pp. 242–254.
- ESOP-2004-AbadiBF #performance #π-calculus
- Just Fast Keying in the π Calculus (MA, BB, CF), pp. 340–354.
- POPL-2004-BhargavanFG #authentication #semantics #web #web service
- A semantics for web services authentication (KB, CF, ADG), pp. 198–209.
- AFP-2002-FournetFMS02 #concurrent #distributed #mobile #named #programming
- JoCaml: A Language for Concurrent Distributed and Mobile Programming (CF, FLF, LM, AS), pp. 129–158.
- ECOOP-2002-BentonCF #abstraction #c# #concurrent
- Modern Concurrency Abstractions for C# (NB, LC, CF), pp. 415–440.
- POPL-2002-FournetG #stack
- Stack inspection: theory and variants (CF, ADG), pp. 307–318.
- POPL-2001-AbadiF #communication #mobile
- Mobile values, new names, and secure communication (MA, CF), pp. 104–115.
- POPL-2000-AbadiFG #authentication #compilation
- Authentication Primitives and Their Compilation (MA, CF, GG), pp. 302–315.
- ICALP-1998-FournetG #calculus
- A Hierarchy of Equivalences for Asynchronous Calculi (CF, GG), pp. 844–855.
- LICS-1998-AbadiFG #abstraction #implementation
- Secure Implementation of Channel Abstractions (MA, CF, GG), pp. 105–116.
- POPL-1996-FournetG #calculus #reflexive
- The Reflexive CHAM and the Join-Calculus (CF, GG), pp. 372–385.
- POPL-2016-SwamyHKRDFBFSKZ #dependent type #multi
- Dependent types and multi-monadic effects in F (NS, CH, CK, AR, ADL, SF, KB, CF, PYS, MK, JKZ, SZB), pp. 256–270.
- POPL-2018-AhmanFHMRS
- Recalling a witness: foundations and applications of monotonic state (DA, CF, CH, KM, AR, NS), p. 30.