Computer Security from a Programming Language and Static Analysis Perspective
Abstract elided by the publisher.
Related papers
- Program Analysis Is Harder Than Verification: A Computability Perspective CAV 2018
- MrCrypt: static analysis for secure cloud computations OOPSLA 2013
- SAM: The Static Analysis Module of the MAVERIC Mobile App Security Verification Platform TACAS 2015
- Usable security as a static-analysis problem: modeling and reasoning about user permissions in social-sharing systems Onward! 2013
- Towards a practical secure concurrent language OOPSLA 2012
- Access rights analysis for Java OOPSLA 2002
- SafeTSA: A Type Safe and Referentially Secure Mobile-Code Representation Based on Static Single Assignment Form PLDI 2001
- Polymorphism and page tables: systems programming from a functional programmer's perspective ICFP 2008