ACM Conference on Computer and Communications Security

CCS 2017 - Papers on Language-based security

Topics · Papers

Language-based security

Nonmalleable Information Flow Control
Ethan Cecchetti (Cornell University), Andrew Myers (Cornell University), Owen Arden (University of California, Santa Cruz)
(Award Finalist)
Session: 2I
PtrSplit: Supporting general pointers in automatic program partitioning
Shen Liu (The Pennsylvania State University), Gang Tan (The Pennsylvania State University), Trent Jaeger (The Pennsylvania State University)
Session: 3K
DIFUZE: Interface Aware Fuzzing for Kernel Drivers
Jake Corina (University of California, Santa Barbara), Aravind Machiry (University of California, Santa Barbara), Christopher Salls (University of California, Santa Barbara), Yan Shoshitaishvili (Arizona State University), Shuang Hao (University of Texas at Dallas), Christopher Kruegel (University of California, Santa Barbara), Giovanni Vigna (University of California, Santa Barbara)
A Type System for Privacy Properties
Véronique Cortier (Loria, CNRS / Inria), Niklas Grimm (TU Wien), Joseph Lallemand (Loria, CNRS / Inria), Matteo Maffei (TU Wien)
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)
HexType: Efficient Detection of Type Confusion Errors for C++
Yuseok Jeon (Purdue University), Priyam Biswas (Purdue University), Scott Carr (Purdue University), Byoungyoung Lee (Purdue University), Mathias Payer (Purdue University)
Session: 3K
Object Flow Integrity
Wenhao Wang (University of Texas at Dallas), Xiaoyang Xu (University of Texas at Dallas), Kevin Hamlen (University of Texas at Dallas)
Session: 2I