Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Cédric Fournet
The Applied Pi Calculus
Journal of the ACM
Control
Systems Engineering
Information Systems
Hardware
Architecture
Artificial Intelligence
Software
Secure Distributed Programming With Value-Dependent Types
ACM SIGPLAN Notices
Computer Science
Modular Verification of Security Protocol Code by Typing
ACM SIGPLAN Notices
Computer Science
Dependent Types and Multi-Monadic Effects in F*
ACM SIGPLAN Notices
Computer Science
Just Fast Keying in the Pi Calculus
ACM Transactions on Information and System Security
Quality
Reliability
Safety
Computer Science
Risk
A Secure Compiler for Session Abstractions
Journal of Computer Security
Risk
Computer Networks
Hardware
Communications
Reliability
Safety
Architecture
Quality
Software
A Semantics for Web Services Authentication
ACM SIGPLAN Notices
A Semantics for Web Services Authentication
