Handling Encryption in an Analysis for Secure Information Flow
Abstract elided by the publisher.
Related papers
- Data Flow Analysis of Secure Information-Flow APLAS 2002
- Semantics and Program Analysis of Computationally Secure Information Flow ESOP 2001
- Analysis of Secure Information Flow by Model-Checking APLAS 2001
- MrCrypt: static analysis for secure cloud computations OOPSLA 2013
- Qiwu: Exploiting Ciphertext-Level SIMD Parallelism in Homomorphic Encryption Programs CGO 2025
- A monadic analysis of information flow security with mutable state JFP 2005
- A uniform type structure for secure information flow TOPLAS 2007
- Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption CAV 2022