PLAS@ECOOP

Publications

2015

Pablo Buiras, Bart van Delft
Dynamic Enforcement of Dynamic Policies. PLAS@ECOOP (2015)
Proceedings of the 10th ACM Workshop on Programming Languages and Analysis for Security, PLAS@ECOOP 2015, Prague, Czech Republic, July 4-10, 2015 PLAS@ECOOP (2015)
Shriram Krishnamurthi
Tierless Programming and Reasoning for Networks. PLAS@ECOOP (2015)
Toby C. Murray
Short Paper: On High-Assurance Information-Flow-Secure Programming Languages. PLAS@ECOOP (2015)
Vijay Ganesh, Sebastian Banescu, Martín Ochoa
Short Paper: The Meaning of Attack-Resistant Systems. PLAS@ECOOP (2015)
Matthias Grimmer, Roland Schatz, Chris Seaton, Thomas Würthinger, Hanspeter Mössenböck
Memory-safe Execution of C on a Java VM. PLAS@ECOOP (2015)
Sophia Drossopoulou, James Noble, Mark S. Miller
Swapsies on the Internet: First Steps towards Reasoning about Risk and Trust in an Open World. PLAS@ECOOP (2015)
Catalin Hritcu
Micro-Policies: Formally Verified, Tag-Based Security Monitors. PLAS@ECOOP (2015)

2014