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