[TYPES/announce] Call for Participation: PLAS 2007
mwh@cs.umd.edu
mwh at cs.umd.edu
Wed May 9 11:28:35 EDT 2007
ACM SIGPLAN Workshop on
Programming Languages and Analysis for Security
San Diego, California, June 14, 2007
Sponsored by ACM SIGPLAN
with support from IBM Research
Co-located with PLDI'07 as part of FCRC.
http://www.cs.umd.edu/~mwh/PLAS07/index.html
Call For Participation
PLAS aims to provide a forum for exploring and evaluating ideas on the
use of PROGRAMMING LANGUAGE and PROGRAM ANALYSIS TECHNIQUES to improve
the SECURITY of SOFTWARE SYSTEMS.
We have a strong program consisting of 13 technical papers and one
informal presentation, on a variety of topics, including:
* Language-based techniques for security, including
new accounts of declassification, new proof techniques, new
application domains, and practical implementations
* Program analysis techniques for discovering security
vulnerabilities
* New host-based intrusion techniques, based on static analysis and
application frameworks
The conference hotel registration deadline is May 9; early registration
deadline is May 11.
Generous support from IBM Research has made it possible for us to
offer travel grants for students attending PLAS. See Application form
on the PLAS web page for further instructions.
Preliminary Program
Jifclipse: Development Tools for Security-Typed Applications
- Boniface Hicks, Dave King and Patrick McDaniel
Towards Usable Information Flow Security in Java
- Mark Thober and Scott F. Smith
A Domain-Specific Programming Language for Secure Multiparty
Computation
- Janus Dam Nielsen and Michael I. Schwartzbach
Quantitative Analysis of Leakage for Multi-threaded Programs
- Pasquale Malacaria and Han Chen
A Simulation-based Proof Technique for Dynamic Information Flow
- Stephen McCamant and Michael Ernst
Cautious Virus Detection in the Extreme (Short Paper)
- John Case and Samuel Moelius
Localized Delimited Release: Combining the What and Where Dimensions
of Information Release
- Aslan Askarov and Andrei Sabelfeld
Towards a Logical Account of Declassification (Short Paper)
- Anindya Banerjee, David Naumann and Stan Rosenberg
Fast Probabilistic Simulation, Nontermination, and Secure Information
Flow (Short Paper)
- Geoffrey Smith and Rafael Alpizar
Informal Presentation: A Trust Management Perspective on Managing
Policy Updates in Security-Typed Languages
- Sruthi Bandhakavi, William Winsborough and Marianne Winslett
Large-scale analysis of format string vulnerabilities in Debian Linux
- Karl Chen, David Wagner and Daniel Wilkerson
Guarded Models For Intrusion Detection
- Hassen Saidi
Using Web Application Construction Frameworks To Protect Against Code
Injection Attacks
- Benjamin Livshits
Abash: Finding Bugs in Bash Scripts
- Karl Mazurak and Steve Zdancewic
Program Committee
Michael Hicks, University of Maryland, College Park (Chair)
Martin Abadi, Microsoft Research and University of California, Santa Cruz
Steve Chong, Cornell University
Adriana Compagnoni, Stevens Institute of Technology
Jeff Foster, University of Maryland, College Park
K. Rustan M. Leino, Microsoft Research, Redmond
Marco Pistoia, IBM T. J. Watson Research Center
Andrei Sabelfeld, Chalmers University of Technology
Dawn Xiaodong Song, Carnegie-Mellon University
Eijiro Sumii, Tohoku University
Jan Vitek, Purdue University
David Walker, Princeton University
Xialolan (Catherine) Zhang, IBM T. J. Watson Research Center
More information about the Types-announce
mailing list