Researchers

2016

Conference papers

titre

Dependent Types and Multi-Monadic Effects in F*

auteur

Nikhil Swamy, Cătălin Hriţcu, Chantal Keller, Aseem Rastogi, Antoine Delignat-Lavaud, Simon Forest, Karthikeyan Bhargavan, Cédric Fournet, Pierre-Yves Strub, Markulf Kohlweiss, Jean-Karim Zinzindohoue, Santiago Zanella-Béguelin

article

43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), 2016, Unknown, United States. ACM, pp.256-270, 2016

Accès au texte intégral et bibtex

2013

Journal articles

titre

Secure Distributed Programming with Value-Dependent Types

auteur

Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, Jean Yang

article

J. Funct. Program., Cambridge University Press, 2013, 23 (4), pp.402-451

Accès au texte intégral et bibtex

Conference papers

titre

Fully Abstract Compilation to JavaScript

auteur

Cédric Fournet, Nikhil Swamy, Juan Chen, Pierre-Evariste Dagand, Pierre-Yves Strub, Benjamin Livshits

article

40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL’13 (2013), Jan 2013, Roma, Italy. 2013

Accès au texte intégral et bibtex

titre

Implementing TLS with Verified Cryptographic Security

auteur

Karthikeyan Bhargavan, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub

article

IEEE Symposium on Security & Privacy, 2013, San Francisco, United States. pp.445-462, 2013

Accès au texte intégral et bibtex

2012

Conference papers

titre

Self-certification: Bootstrapping certified typecheckers in F* with Coq

auteur

Pierre-Yves Strub, Nikhil Swamy, Cédric Fournet, Juan Chen

article

39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL’12, Jan 2012, Philadelphia, United States. 2012

Accès au texte intégral et bibtex

Reports

titre

Identifying Website Users by TLS Traffic Analysis: New Attacks and Effective Countermeasures

auteur

Alfredo Pironti, Pierre-Yves Strub, Karthikeyan Bhargavan

article

[Research Report] RR-8067, INRIA. 2012

Accès au texte intégral et bibtex

2011

Conference papers

titre

Modular Code-Based Cryptographic Verification

auteur

Cédric Fournet, Markulf Kohlweiss, Pierre-Yves Strub

article

18th ACM Conference on Computer and Communications Security, Oct 2011, Chicago, United States. 2011

Accès au texte intégral et bibtex

titre

Secure Distributed Programming with Value-dependent Types

auteur

Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, Jean Yang

article

16th ACM SIGPLAN International Conference on Functional Programming, Sep 2011, Tokyo, Japan. 2011

Accès au texte intégral et bibtex

titre

CoqMTU: a higher-order type theory with a predicative hierarchy of universes parametrized by a decidable first-order theory

auteur

Bruno Barras, Jean-Pierre Jouannaud, Pierre-Yves Strub, Qian Wang

article

Twenty-Sixth Annual IEEE Symposium on “Logic in Computer Science” - LICS 2011, Jun 2011, Toronto, Canada. 2011

Accès au texte intégral et bibtex