Typechecking Higher-Order Security Libraries
Abstract elided by the publisher.
Related papers
- Refinement types for secure implementations TOPLAS 2011
- Probabilistic relational verification for cryptographic implementations POPL 2014
- Complete and easy bidirectional typechecking for higher-rank polymorphism ICFP 2013
- Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types ECOOP 2021
- Compositional Security Definitions for Higher-Order Where Declassification OOPSLA 2023
- Composing security policies with polymer PLDI 2005
- Securing Verified IO Programs Against Unverified Code in F POPL 2024
- Joins: A Case Study in Modular Specification of a Concurrent Reentrant Higher-Order Library ECOOP 2013