A Systematic Approach to Static Access Control
No abstract available.
Related papers
- A systematic approach to static access control TOPLAS 2005
- A static type system for JVM access control TOPLAS 2007
- A static type system for JVM access control ICFP 2003
- Targeted and depth-first exploration for systematic testing of android apps OOPSLA 2013
- Pointer Analysis for Database-Backed Applications PLDI 2025
- Representation independence, confinement and access control [extended abstract] POPL 2002
- Refining semantics for multi-stage programming GPCE 2017
- Paralocks: role-based information flow control and beyond POPL 2010