ACM Ninth Workshop on Programming Languages and Analysis for Security (PLAS 2014) - Programme


9am - 10am: Keynote Talk

To Dream the Impossible Dream: Toward Static Taint Analysis for JavaScript Security 

Julian Dolby


10-10:30am: Coffee Break


10:30am - 12pm: Information-flow Control I

You Sank My Battleship! A Case Study in Secure Programming


Alley Stoughton, Andrew Johnson, Samuel Beller, Karishma Chadha, Dennis Chen, Kenneth Foner and Michael Zhivich

Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis


Abhishek Bichhawat, Vineet Rajani, Deepak Garg and Christian Hammer

Building Secure Systems with LIO (Demo)


Deian Stefan



12pm-1:30pm: Lunch Break


1:30pm - 3pm: Language-based Security


A Language-Based Approach to Secure Quorum Replication


Lantian Zheng and Andrew Myers


Operational Semantics for Secure Interoperation

Adriaan Larmuseau, Marco Patrignani and Dave Clarke


Domain-Polymorphic Programming of Privacy-Preserving Applications


Dan Bogdanov, Peeter Laud and Jaak Randmets



3pm - 3:30pm: Coffee Break


3:30pm - 4:30pm: Information-flow Control II

Monitoring Reactive Systems with Dynamic Channels

Dante Zanarini and Mauro Jaskelioff


Paragon: Programming with Information Flow Control (Demo)

Niklas Broberg