ACM Conference on Computer and Communications Security

CCS 2017 - Papers on Information flow

Topics · Papers

Information flow

Nonmalleable Information Flow Control
Ethan Cecchetti (Cornell University), Andrew Myers (Cornell University), Owen Arden (University of California, Santa Cruz)
(Award Finalist)
[PDF]
[Paper]
Session: 2I
Verifying Security Policies in Multi-agent Workflows with Loops
Bernd 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 Stores
Lucas 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 Library
Jean-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 attacks
David Korczynski (University of Oxford), Heng Yin (University of California, Riverside)
[PDF]
Session: 2H
RAIN: Refinable Attack Investigation with On-demand Inter-Process Information Flow Tracking
Yang 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)
[PDF]
Session: 3B
Code-reuse attacks for the Web: Breaking Cross-Site Scripting Mitigations via Script Gadgets
Sebastian Lekies (Google), Krzysztof Kotowicz (Google), Samuel Groß  (SAP SE), Eduardo Vela (Google), Martin Johns (SAP SE)
[PDF]
Session: 2H
A Formal Foundation for Secure Remote Execution of Enclaves
Pramod 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)
(Award Finalist)
[PDF]
[Paper]
[Artifact]
Session: 4K