DirectFlow: A Domain-Specific Language for Information-Flow Systems
No abstract available.
DOI 10.1007/978-3-540-73589-2_15
Related papers
- Caisson: a hardware description language for secure information flow PLDI 2011
- Liquid information flow control ICFP 2020
- Synthesizing Reactive Systems from Hyperproperties CAV 2018
- VarSem: declarative expression and automated inference of variable usage semantics GPCE 2020
- A tag-based approach for the design and composition of information processing applications OOPSLA 2008
- Information Flow Guided Synthesis CAV 2022
- Paralocks: role-based information flow control and beyond POPL 2010
- Structural Information Flow: A Fresh Look at Types for Non-interference OOPSLA 2025