Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Pierre-Yves Strub
Fully Abstract Compilation to JavaScript
ACM SIGPLAN Notices
Computer Science
Secure Distributed Programming With Value-Dependent Types
ACM SIGPLAN Notices
Computer Science
Dependent Types and Multi-Monadic Effects in F*
ACM SIGPLAN Notices
Computer Science
A Formal Library for Elliptic Curves in the Coq Proof Assistant
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Strong Non-Interference and Type-Directed Higher-Order Masking
From Formal Proofs to Mathematical Proofs: A Safe, Incremental Way for Building in First-Order Decision Procedures
IFIP International Federation for Information Processing
