Topics · Papers
Information flow
Nonmalleable Information Flow ControlEthan Cecchetti (Cornell University), Andrew Myers (Cornell University), Owen Arden (University of California, Santa Cruz)
Verifying Security Policies in Multi-agent Workflows with LoopsBernd Finkbeiner (CISPA, Saarland University), Christian Müller (Technische Universität München), Helmut Seidl (Technische Universität München), Eugen Zalinescu (Technische Universität München)
Cryptographically Secure Information Flow Control on Key-Value StoresLucas Waye (Harvard University), Pablo Buiras (Harvard University), Owen Arden (University of California, Santa Cruz), Alejandro Russo (Chalmers University of Technology), Stephen Chong (Harvard University)
HACL*: A Verified Modern Cryptographic LibraryJean-Karim Zinzindohoué (Inria Paris), Karthikeyan Bhargavan (Inria Paris), Jonathan Protzenko (Microsoft Research), Benjamin Beurdouche (Inria Paris)
Capturing Malware Propagations with Code Injections and Code-Reuse attacksDavid Korczynski (University of Oxford), Heng Yin (University of California, Riverside)
RAIN: Refinable Attack Investigation with On-demand Inter-Process Information Flow TrackingYang Ji (Georgia Institute of Technology), Sangho Lee (Georgia Institute of Technology), Evan Downing (Georgia Institute of Technology), Weiren Wang (Georgia Institute of Technology), Mattia Fazzini (Georgia Institute of Technology), Taesoo Kim (Georgia Institute of Technology), Alessandro Orso (Georgia Institute of Technology), Wenke Lee (Georgia Institute of Technology)
Code-reuse attacks for the Web: Breaking Cross-Site Scripting Mitigations via Script GadgetsSebastian Lekies (Google), Krzysztof Kotowicz (Google), Samuel Groß (SAP SE), Eduardo Vela (Google), Martin Johns (SAP SE)
A Formal Foundation for Secure Remote Execution of EnclavesPramod Subramanyan (University of California, Berkeley), Rohit Sinha (University of California, Berkeley), Ilia Lebedev (Massachusetts Institute of Technology), Srinivas Devadas (Massachusetts Institute of Technology), Sanjit Seshia (University of California, Berkeley)