Secure the Clones - Static Enforcement of Policies for Secure Object Copying
Abstract elided by the publisher.
Related papers
- A security policy oracle: detecting security holes using multiple API implementations PLDI 2011
- Automatic enforcement of expressive security policies using enclaves OOPSLA 2016
- Runtime Enforcement of Security Policies on Black Box Reactive Programs POPL 2015
- Downgrading policies and relaxed noninterference POPL 2005
- Computability classes for enforcement mechanisms TOPLAS 2006
- Towards fully automatic placement of security sanitizers and declassifiers POPL 2013
- Stack-based access control and secure information flow JFP 2005
- Exploring and enforcing security guarantees via program dependence graphs PLDI 2015