PLAS@CCS

Publications

2020

PLAS'20: Proceedings of the 15th Workshop on Programming Languages and Analysis for Security, Virtual Event, USA, 13 November, 2020 PLAS@CCS (2020)
Sandrine Blazy
From Verified Compilation to Secure Compilation: a Semantic Approach. PLAS@CCS (2020)
Ian Sweet, David Darais, Michael Hicks
Short Paper: Probabilistically Almost-Oblivious Computation. PLAS@CCS (2020)
Kevin Morio, Dennis Jackson, Marco Vassena, Robert Künnemann
Short Paper: Modular Black-box Runtime Verification of Security Protocols. PLAS@CCS (2020)
Lauren Labell, Jared Chandler, Kathleen Fisher
Automatic Discovery and Synthesis of Checksum Algorithms from Binary Data Samples. PLAS@CCS (2020)
Jean Yang
How APIs Are Both the Illness and the Cure: The Software Heterogeneity Problem in Modern Web Applications. PLAS@CCS (2020)
Alisa Pankova, Joosep Jääger
Short Paper: Secure Multiparty Logic Programming. PLAS@CCS (2020)
Sergio Benitez, Jonathan Cogan, Alejandro Russo
Short Paper: Blockcheck the Typechain. PLAS@CCS (2020)
Matthías Páll Gissurarson, Agustín Mista
Short Paper: Weak Runtime-Irrelevant Typing for Security. PLAS@CCS (2020)

2019

2018

2017

2016