Pierre-Yves Strub

Dependent types and multi-monadic effects in F*

Nikhil Swamy, Cătălin Hriţcu, Chantal Keller et al. · 2016 · 280 citations · Full text

Engineering, Type Theory, Verification +16

Strong Non-Interference and Type-Directed Higher-Order Masking

Gilles Barthe, Sonia Belaïd, François Dupressoir et al. · 2016 · 216 citations

Engineering, Information Security, Verification +25

A Messy State of the Union: Taming the Composite State Machines of TLS

Benjamin Beurdouche, Karthikeyan Bhargavan, Antoine Delignat-Lavaud et al. · 2015 · 212 citations · Full text

Cryptographic Primitive, Engineering, Information Security +23

Implementing TLS with Verified Cryptographic Security

Karthikeyan Bhargavan, Cédric Fournet, Markulf Kohlweiss et al. · 2013 · 172 citations · Full text

Protocol State Machine, Cryptographic Primitive, Engineering +18

Secure distributed programming with value-dependent types

Nikhil Swamy, Juan Chen, Cédric Fournet et al. · ACM SIGPLAN Notices · 2011 · 150 citations

Engineering, Information Security, Verification +20