Pierre-Yves Strub
Publications by Year
Research Areas
Cryptographic Implementations and Security, Cryptography and Data Security, Security and Verification in Computing, Logic, programming, and type systems, Formal Methods in Verification
Most-Cited Works
- → Dependent types and multi-monadic effects in F*(2016)281 cited
- → Strong Non-Interference and Type-Directed Higher-Order Masking(2016)216 cited
- → A Messy State of the Union: Taming the Composite State Machines of TLS(2015)214 cited
- → Implementing TLS with Verified Cryptographic Security(2013)173 cited
- → Secure distributed programming with value-dependent types(2011)150 cited
- → Verified Proofs of Higher-Order Masking(2015)133 cited
- → Parallel Implementations of Masking Schemes and the Bounded Moment Leakage Model(2017)120 cited
- → EasyCrypt: A Tutorial(2014)112 cited
- → Jasmin(2017)101 cited