Automating Security Mediation Placement
No abstract available.
Related papers
- Towards fully automatic placement of security sanitizers and declassifiers POPL 2013
- Laminar: practical fine-grained decentralized information flow control PLDI 2009
- Security Properties of Typed Applets POPL 1998
- Caper - Automatic Verification for Fine-Grained Concurrency ESOP 2017
- Type-Safe Dynamic Placement with First-Class Placed Values OOPSLA 2023
- An approach to safe object sharing OOPSLA 2000
- RoleCast: finding missing security checks when you do not know what checks are OOPSLA 2011
- Practical Fine-Grained Information Flow Control Using Laminar TOPLAS 2014