Static Analysis with Set-Closure in Secrecy
Abstract elided by the publisher.
Related papers
- Carapace: Static-Dynamic Information Flow Control in Rust OOPSLA 2025
- Cocoon: Static Information Flow Control in Rust OOPSLA 2024
- Selective and Lightweight Closure Conversion POPL 1994
- Safety versus Secrecy SAS 1999
- Lightweight Closure Conversion TOPLAS 1997
- From Secrecy to Authenticity in Security Protocols SAS 2002
- Computational Secrecy by Typing for the Pi Calculus APLAS 2006
- Pattern-Based Abstraction for Verifying Secrecy in Protocols TACAS 2003