Securing Communication in a Concurrent Language
No abstract available.
Related papers
- Mobile values, new names, and secure communication POPL 2001
- Reasoning About Information Flow Security of Separation Kernels with Channel-Based Communication TACAS 2016
- LARTS: Language Abstractions for Real-Time and Secure Systems OOPSLA 2026
- A verified messaging system OOPSLA 2017
- Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency ECOOP 2024
- Towards a practical secure concurrent language OOPSLA 2012
- SecCSL: Security Concurrent Separation Logic CAV 2019
- SecRSL: security separation logic for C11 release-acquire concurrency OOPSLA 2021