Model Checking Information Flow in Reactive Systems
No abstract available.
Related papers
- Verifying Asynchronous Hyperproperties in Reactive Systems OOPSLA 2025
- Verifying Hyperliveness CAV 2019
- Synthesizing Reactive Systems from Hyperproperties CAV 2018
- Type-Directed Bounding of Collections in Reactive Programs VMCAI 2019
- Analysis of Secure Information Flow by Model-Checking APLAS 2001
- A verified information-flow architecture POPL 2014
- Proving the Correctness of Reactive Systems Using Sized Types POPL 1996
- JFlow: Practical Mostly-Static Information Flow Control POPL 1999