Practical API Protocol Checking with Access Permissions
No abstract available.
Related papers
- Enforcing object protocols by combining static and runtime analysis OOPSLA 2008
- GhostCell: separating permissions from data in Rust ICFP 2021
- On the Monitorability of Session Types, in Theory and Practice ECOOP 2021
- A security policy oracle: detecting security holes using multiple API implementations PLDI 2011
- Model Checking Distributed Protocols in Must OOPSLA 2024
- A session type provider: compile-time API generation of distributed protocols with refinements in F# CC 2018
- Verifying correct usage of context-free API protocols POPL 2021
- Adoption and Focus: Practical Linear Types for Imperative Programming PLDI 2002