Pierre-Yves Strub

Available identifiers

zbMath Open strub.pierre-yvesMaRDI QIDQ2323969

List of research outcomes

Publication	Date of Publication	Type
Machine-checked security for XMSS as in RFC 8391 and SPHINCS\textsuperscript{+}	2024-02-06	Paper
https://portal.mardi4nfdi.de/entity/Q6157249	2023-06-20	Paper
Formal verification of Saber's public-key encryption scheme in easycrypt	2023-06-12	Paper
Formalizing the Face Lattice of Polyhedra	2022-11-09	Paper
https://portal.mardi4nfdi.de/entity/Q5094138	2022-08-02	Paper
Formalizing the Face Lattice of Polyhedra	2021-04-30	Paper
https://portal.mardi4nfdi.de/entity/Q5111434	2020-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q5219933	2020-03-09	Paper
https://portal.mardi4nfdi.de/entity/Q5207055	2020-01-03	Paper
An assertion-based program logic for probabilistic programs	2019-09-13	Paper
https://portal.mardi4nfdi.de/entity/Q4623435	2019-02-15	Paper
Proving uniformity and independence by self-composition and coupling	2019-01-10	Paper
Coq without Type Casts: A Complete Proof of Coq Modulo Theory	2019-01-10	Paper
Proving Differential Privacy via Probabilistic Couplings	2018-04-23	Paper
https://portal.mardi4nfdi.de/entity/Q4598248	2017-12-19	Paper
Coupling proofs are probabilistic product programs	2017-10-20	Paper
Parallel Implementations of Masking Schemes and the Bounded Moment Leakage Model	2017-06-13	Paper
Computer-Aided Verification for Mechanism Design	2017-02-10	Paper
Dependent types and multi-monadic effects in F*	2016-10-24	Paper
Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy	2016-09-29	Paper
Relational Reasoning via Probabilistic Coupling	2016-01-12	Paper
Verified Proofs of Higher-Order Masking	2015-09-30	Paper
Self-certification	2015-09-11	Paper
EasyCrypt: A Tutorial	2015-05-27	Paper
Secure distributed programming with value-dependent types	2015-03-05	Paper
Fully abstract compilation to JavaScript	2014-11-27	Paper
A Formal Library for Elliptic Curves in the Coq Proof Assistant	2014-09-08	Paper
Proving the TLS Handshake Secure (As It Is)	2014-08-07	Paper
Probabilistic relational verification for cryptographic implementations	2014-04-10	Paper
Gradual typing embedded securely in JavaScript	2014-04-10	Paper
Secure distributed programming with value-dependent types	2014-02-27	Paper
Coq Modulo Theory	2010-09-03	Paper
Building Decision Procedures in the Calculus of Inductive Constructions	2009-03-05	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Pierre-Yves Strub