Login / Signup
PLAS
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
Alejandro Mario Hernandez
,
Flemming Nielson
A generic approach for security policies composition: position paper.
PLAS
(2012)
Eric Bodden
Static flow-sensitive & context-sensitive information-flow analysis for software product lines: position paper.
PLAS
(2012)
Shuying Liang
,
Matthew Might
Hash-flow taint analysis of higher-order programs.
PLAS
(2012)
Ana Almeida Matos
,
José Fragoso Santos
Typing illegal information flows as program effects.
PLAS
(2012)
Proceedings of the 2012 Workshop on Programming Languages and Analysis for Security, PLAS 2012, Beijing, China, 15 June, 2012
PLAS
(2012)
Soha Hussein
,
Patrick O'Neil Meredith
,
Grigore Rosu
Security-policy monitoring and enforcement with JavaMOP.
PLAS
(2012)
Piotr Mardziel
,
Michael Hicks
,
Jonathan Katz
,
Mudhakar Srivatsa
Knowledge-oriented secure multiparty computation.
PLAS
(2012)
Dominic Duggan
,
Ye Wu
Security correctness for secure nested transactions: position paper.
PLAS
(2012)
Luciano Bello
,
Alejandro Russo
Towards a taint mode for cloud computing web applications.
PLAS
(2012)
Damien Doligez
,
Mathieu Jaume
,
Renaud Rioboo
Development of secured systems by mixing programs, specifications and proofs in an object-oriented programming environment: a case study within the FoCaLiZe environment.
PLAS
(2012)
2011
Proceedings of the 2011 Workshop on Programming Languages and Analysis for Security, PLAS 2011, San Jose, CA, USA, 5 June, 2011
PLAS
(2011)
Matteo Maffei
,
Kim Pecina
Privacy-aware proof-carrying authorization.
PLAS
(2011)
Joseph L. Greathouse
,
Todd M. Austin
The potential of sampling for dynamic analysis.
PLAS
(2011)
Sooel Son
,
Vitaly Shmatikov
SAFERPHP: finding semantic vulnerabilities in PHP applications.
PLAS
(2011)
Arnar Birgisson
,
Frank McSherry
,
Martín Abadi
Differential privacy with information flow control.
PLAS
(2011)
Willard Rafnsson
,
Andrei Sabelfeld
Limiting information leakage in event-based communication.
PLAS
(2011)
Ziyuan Meng
,
Geoffrey Smith
Calculating bounds on information leakage using two-bit patterns.
PLAS
(2011)
Arnar Birgisson
,
Alejandro Russo
,
Andrei Sabelfeld
Capabilities for information flow.
PLAS
(2011)
Musard Balliu
,
Mads Dam
,
Gurvan Le Guernic
Epistemic temporal logic for information flow security.
PLAS
(2011)
2010
Mohan Dhawan
,
Chung-chieh Shan
,
Vinod Ganapathy
The case for JavaScript transactions: position paper.
PLAS
(2010)
Xun Li
,
Mohit Tiwari
,
Ben Hardekopf
,
Timothy Sherwood
,
Frederic T. Chong
Secure information flow analysis for hardware design: using the right abstraction for the job.
PLAS
(2010)
Adrian Mettler
,
David A. Wagner
Class properties for security review in an object-capability subset of Java: (short paper).
PLAS
(2010)
Thomas H. Austin
,
Cormac Flanagan
Permissive dynamic information flow analysis.
PLAS
(2010)
Proceedings of the 2010 Workshop on Programming Languages and Analysis for Security, PLAS 2010, Toronto, ON, Canada, 10 June, 2010
PLAS
(2010)
D. Hassan
,
Mohammad Reza Mousavi
,
Michel A. Reniers
Restricted delegation and revocation in language-based security: (position paper).
PLAS
(2010)
Pascal Berthomé
,
Karine Heydemann
,
Xavier Kauffmann-Tourkestansky
,
Jean-François Lalande
Attack model for verification of interval security properties for smart card C codes.
PLAS
(2010)
Gregory Malecha
,
Stephen Chong
A more precise security type system for dynamic security tests.
PLAS
(2010)
Michael D. Bond
,
Varun Srivastava
,
Kathryn S. McKinley
,
Vitaly Shmatikov
Efficient, context-sensitive detection of real-world semantic attacks.
PLAS
(2010)