The Correctness-Security Gap in Compiler Optimization.
Vijay D'Silva, Mathias Payer, Dawn Xiaodong Song
VenueA*SP
Year2015
ProceedingsIEEE Symposium on Security and Privacy Workshops
DBLP recordconf/sp/DSilvaPS15 ↗
Browse the full SP paper archive.
Vijay D'Silva, Mathias Payer, Dawn Xiaodong Song
Browse the full SP paper archive.