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

Language-based security

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

Software protection and verification

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

Program analysis for security and policy enforcement

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

Information-flow security

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

Last update Thu May 23 17:50:21 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page