Trust Management in Strand Spaces: A Rely-Guarantee Method
Abstract elided by the publisher.
Related papers
- Rely-Guarantee Reasoning About Concurrent Memory Management in Zephyr RTOS CAV 2019
- Typed Memory Management in a Calculus of Capabilities POPL 1999
- Weighted Pushdown Systems and Trust-Management Systems TACAS 2006
- The Rely-Guarantee Method in Isabelle/HOL ESOP 2003
- Efficient Decision Procedures for Heaps Using STRAND SAS 2011
- Agora: Trust Less and Open More in Verification for Confidential Computing OOPSLA 2025
- Thread to strand binding of parallel network applications in massive multi-threaded systems PPoPP 2010
- Local rely-guarantee reasoning POPL 2009