Topics · Papers
Language-based security
Nonmalleable Information Flow ControlEthan Cecchetti (Cornell University), Andrew Myers (Cornell University), Owen Arden (University of California, Santa Cruz)
PtrSplit: Supporting general pointers in automatic program partitioningShen Liu (The Pennsylvania State University), Gang Tan (The Pennsylvania State University), Trent Jaeger (The Pennsylvania State University)
DIFUZE: Interface Aware Fuzzing for Kernel DriversJake 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 PropertiesVé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 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)
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)
Object Flow IntegrityWenhao Wang (University of Texas at Dallas), Xiaoyang Xu (University of Texas at Dallas), Kevin Hamlen (University of Texas at Dallas)