BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Fournet:C=eacute=dric

Contributed to:

POPL 20152015
POPL 20142014
POPL 20132013
POPL 20122012
ESOP 20112011
ICFP 20112011
POPL 20102010
ESOP 20082008
POPL 20082008
ICALP (2) 20062006
ESOP 20052005
LICS 20052005
CAV 20042004
ESOP 20042004
POPL 20042004
AFP 20022002
ECOOP 20022002
POPL 20022002
POPL 20012001
POPL 20002000
ICALP 19981998
LICS 19981998
POPL 19961996
POPL 20162016
POPL 20182018

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.