PLAS 2008: Tucson, AZ, USA

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