The following pages link to Pierre-Yves Strub (Q2323969):
Displaying 14 items.
- An assertion-based program logic for probabilistic programs (Q2323970) (← links)
- Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy (Q2819789) (← links)
- Dependent types and multi-monadic effects in F* (Q2828265) (← links)
- Proving the TLS Handshake Secure (As It Is) (Q2874540) (← links)
- A Formal Library for Elliptic Curves in the Coq Proof Assistant (Q2879245) (← links)
- Fully abstract compilation to JavaScript (Q2931813) (← links)
- Self-certification (Q2942906) (← links)
- Verified Proofs of Higher-Order Masking (Q2948340) (← links)
- Computer-Aided Verification for Mechanism Design (Q2959836) (← links)
- (Q4598248) (← links)
- Proving uniformity and independence by self-composition and coupling (Q4645748) (← links)
- Coq without Type Casts: A Complete Proof of Coq Modulo Theory (Q4645754) (← links)
- (Q5111434) (← links)
- (Q6157249) (← links)
