PLAS

Keyphrases

Publications

2013

Proceedings of the 2013 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, PLAS 2013, Seattle, WA, USA, June 20, 2013 PLAS (2013)
David Sands
Fault-tolerant non-interference: invited talk abstract. PLAS (2013)
Andreas Gampe, Jeffery von Ronne
Security completeness: towards noninterference in composed languages. PLAS (2013)
Timothy L. Hinrichs, Daniele Rossetti, Gabriele Petronella, V. N. Venkatakrishnan, A. Prasad Sistla, Lenore D. Zuck
WEBLOG: a declarative language for secure web development. PLAS (2013)
Thomas H. Austin, Jean Yang, Cormac Flanagan, Armando Solar-Lezama
Faceted execution of policy-agnostic programs. PLAS (2013)
Xun Li, Vineeth Kashyap, Jason K. Oberg, Mohit Tiwari, Vasanth Ram Rajarathinam, Ryan Kastner, Timothy Sherwood, Ben Hardekopf, Frederic T. Chong
Position paper: Sapper - a language for provable hardware policy enforcement. PLAS (2013)
Per A. Hallgren, Daniel T. Mauritzson, Andrei Sabelfeld
GlassTube: a lightweight approach to web application integrity. PLAS (2013)
Martin Mariusz Lester
Position paper: the science of boxing. PLAS (2013)
Aseem Rastogi, Piotr Mardziel, Michael Hicks, Matthew A. Hammer
Knowledge inference for optimizing secure multi-party computation. PLAS (2013)
Matthias Keil, Peter Thiemann
Type-based dependency analysis for javascript. PLAS (2013)

2012

2011

2010

2009