Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs
Kangjie Lu, Aditya Pakki and Qiushi Wu

Uncovering Information Flow Policy Violations in C Programs
Darion Cassel, Yan Huang and Limin Jia

BinEye: Towards Efficient Binary Authorship Characterization Using Deep Learning
Saed Alrabaee, El Mouatez Karbab, Lingyu Wang and Mourad Debbabi

Static Detection of Uninitialized Stack Variables in Binary Code
Behrad Garmany, Martin Stoffel, Robert Gawlik and Thorsten Holz

Towards Automated Application-Specific Software Stacks
Nicolai Davidsson, Andre Pawlowski and Thorsten Holz