Secure Information Flow as Typed Process Behaviour
Abstract elided by the publisher.
Related papers
- Information flow vs. resource access in the asynchronous pi-calculus TOPLAS 2002
- A uniform type structure for secure information flow TOPLAS 2007
- Transforming Out Timing Leaks POPL 2000
- Information Flow Control in Cyclic Process Networks ECOOP 2024
- Noninterference through flow analysis JFP 2005
- Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency ECOOP 2024
- Cryptographically sound implementations for typed information-flow security POPL 2008
- P4BID: information flow control in p4 PLDI 2022