Automatic Inference of Access Permissions
No abstract available.
Related papers
- Permission Inference for Array Programs CAV 2018
- Automatically Reducing Privilege for Access Control Policies OOPSLA 2024
- Logical Reasoning for Disjoint Permissions ESOP 2018
- Automatic Verification of Iterated Separating Conjunctions Using Symbolic Execution CAV 2016
- Practical API Protocol Checking with Access Permissions ECOOP 2009
- Access-rights Analysis in the Presence of Subjects ECOOP 2015
- Access permission contracts for scripting languages POPL 2012
- Semantics of fractional permissions with nesting TOPLAS 2010