Pierre-Yves Strub

Statistics

Publications

Citations

2.4K

H-Index

Active since

2002

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

IMDEA Software Institute

Microsoft Research (United Kingdom)

Microsoft (United States)

École Polytechnique

Pierre-Yves Strub is an author at Institut national de recherche en sciences et technologies du numérique specializing in computer science, computing, and formal methods.

ORCID

Publications per year

2002–2023

Publications

Dependent types and multi-monadic effects in F*

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

Computing, Computer Science, Formal Methods +16

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

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

Computing, Computer Engineering, Computer Science +13

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

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

Computing, Computer Engineering, Computer Science +17

Implementing TLS with Verified Cryptographic Security

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

Computing, Computer Engineering, Computer Science +17

Secure distributed programming with value-dependent types

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

Computing, Computer Science, Compilers +16

1–5 of 37