FaCT: A DSL for Timing-Sensitive Computation

Sunjay Cauligi (1) , Gary Soeller (1) , Brian Johannesmeyer (1) , Fraser Brown (2) , Riad S Wahby (2) , John Renner (1) , Benjamin Grégoire (3, 4) , Gilles Barthe (5) , Ranjit Jhala (1) , Deian Stefan (1)

1 UC San Diego - University of California [San Diego]
2 Stanford University
3 MARELLE - Mathematical, Reasoning and Software
4 STAMP - Sûreté du logiciel et Preuves Mathématiques Formalisées
5 Institute IMDEA Software [Madrid]

Mots clés: Software and its engineering → General programming languages; CCS Concepts • Security and privacy → Cryptography; Theory of computation → Operational semantics

Domaines: Informatique [cs]

Sunjay Cauligi, Gary Soeller, Brian Johannesmeyer, Fraser Brown, Riad S Wahby, et al.. FaCT: A DSL for Timing-Sensitive Computation. PLDI 2019 - 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, Jun 2019, Phoenix, United States. ⟨10.1145/3314221.3314605⟩. ⟨hal-02404755⟩