PLAS 2008: Tucson, AZ, USA

Úlfar Erlingsson, Marco Pistoia (Eds.): Proceedings of the 2008 Workshop on Programming Languages and Analysis for Security, PLAS 2008, Tucson, AZ, USA, June 8, 2008. ACM 2008, ISBN 978-1-59593-936-4 BibTeX

Language-based security

Fabio Massacci, Ida Siahaan:
Simulating midlet's security claims with automata modulo theory. 1-9
Electronic Edition (ACM DL) BibTeX
Kevin W. Hamlen, Micah Jones:
Aspect-oriented in-lined reference monitors. 11-20
Electronic Edition (ACM DL) BibTeX
Nikhil Swamy, Michael Hicks:
Verified enforcement of stateful information release policies. 21-32
Electronic Edition (ACM DL) BibTeX

Software protection and verification

Clifford Liem, Yuan Xiang Gu, Harold Johnson:
A compiler-based infrastructure for software-protection. 33-44
Electronic Edition (ACM DL) BibTeX
Alan B. Shaffer, Mikhail Auguston, Cynthia E. Irvine, Timothy E. Levin:
A security domain model to assess software for exploitable covert channels. 45-56
Electronic Edition (ACM DL) BibTeX
Christian Hammer, Rüdiger Schaade, Gregor Snelting:
Static path conditions for Java. 57-66
Electronic Edition (ACM DL) BibTeX

Program analysis for security and policy enforcement

James Cheney, Morten Dahl:
Resource bound analysis for database queries. 67-78
Electronic Edition (ACM DL) BibTeX
Dejan Baca, Bengt Carlsson, Lars Lundberg:
Evaluating the cost reduction of static code analysis for software security. 79-88
Electronic Edition (ACM DL) BibTeX
Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani:
A type system for data-flow integrity on windows vista. 89-100
Electronic Edition (ACM DL) BibTeX
Miranda Mowbray, Antonio Lain:
Dominator-tree analysis for distributed authorization. 101-112
Electronic Edition (ACM DL) BibTeX

Information-flow security

Riccardo Focardi, Matteo Centenaro:
Information flow security of multi-threaded distributed programs. 113-124
Electronic Edition (ACM DL) BibTeX
Lantian Zheng, Andrew C. Myers:
Securing nonintrusive web encryption through information flow. 125-134
Electronic Edition (ACM DL) BibTeX
Pasquale Malacaria, Han Chen:
Lagrange multipliers and maximum information leakage in different observational models. 135-146
Electronic Edition (ACM DL) BibTeX