PLAS 2010 Program (Tentative)
-----------------------------

Toronto, Canada
Thursday June 10, 2010

---------------------

 8:00 -  8:30 
  Breakfast  

---------------------

Session 1
Chair: Deepak Garg

 8:45 -  9:00 
  Opening remarks

 9:00 - 10:00 
  Invited Talk 1: Nikhil Swamy (Microsoft Research)
  Fine and DCIL: Secure Programming on the .NET Platform

---------------------

10:00 - 10:30 
  Coffee Break

---------------------

Session 2
Chair: Todd Millstein

10:30 - 11:00 
  Efficient, Context-Sensitive Detection of Real-World Semantic Attacks
  Michael D Bond, Varun Srivastava, Kathryn S. McKinley and Vitaly Shmatikov              

11:00 - 11:30
  Attack Model for Verification of Interval Security Properties for Smart Card C Codes
  Pascal Berthome, Karine Heydemann, Xavier Kauffman-Tourkestansky and Jean-Francois Lalande

11:30 - 12:00 
  Permissive Dynamic Information Flow Analysis
  Tom Austin and Cormac Flanagan

---------------------

12:00 - 13:30 
  Lunch

---------------------

Session 3
Chair: Deepak Garg

13:30 - 14:00 
  A More Precise Security Type System for Dynamic Security Tests
  Gregory Malecha and Stephen Chong
  
14:00 - 15:00 
  Invited Talk 2: Ranjit Jhala (University of California, San Diego)
  Static, Staged and Dynamic Flow Analyses for JavaScript

---------------------

15:00 - 15:30 
  Coffee Break

---------------------

Session 4: Position papers and short papers
Chair: Cormac Flanagan

15:30 - 15:50
  Restricted Delegation and Revocation in Language-Based Security (Position Paper)
  Doaa Hassan, Mohammadreza Mousavi and Michel Reniers

15:50 - 16:10
  Position Paper: The Case for JavaScript Transactions
  Mohan Dhawan, Chung-Chieh Shan and Vinod Ganapathy

16:10 - 16:30
  Class Properties for Security Review in an Object-Capability Subset of Java (Short Paper)
  Adrian Mettler and David Wagner

16:30 - 16:50
  Position paper: Secure Information Flow Analysis for Hardware Design: Using the Right Abstraction for the Job
  Xun Li, Mohit Tiwari, Ben Hardekopf, Timothy Sherwood and Frederic T. Chong

16:50 - 17:00
  Closing remarks

---------------------
 END OF PLAS 2010