CaSym: Cache Aware Symbolic Execution for Side Channel Detection and Mitigation.
Robert Brotzman, Shen Liu, Danfeng Zhang, Gang Tan, Mahmut T. Kandemir
VenueA*SP
Year2019
ProceedingsIEEE Symposium on Security and Privacy
DBLP recordconf/sp/BrotzmanLZTK19 ↗
Browse the full SP paper archive.