CoPS - Checker of Persistent Security
Abstract elided by the publisher.
Related papers
- Kindergarten cop: dynamic nursery resizing for GHC CC 2016
- Multi-Dimensional Context-Oriented Programming with a Lightweight Domain Specific Language SLE 2026
- SPEC: An Equivalence Checker for Security Protocols APLAS 2016
- SATMC: A SAT-Based Model Checker for Security-Critical Systems TACAS 2014
- Secure serverless computing using dynamic information flow control OOPSLA 2018
- Enhancing source-level programming tools with an awareness of transparent program transformations OOPSLA 2009
- CoqCryptoLine: A Verified Model Checker with Certified Results CAV 2023
- Clog: A Declarative Language for C Static Code Checkers CC 2024