Symbolic path cost analysis for side-channel detection

Document Details

Document Type
Pub Defense Publication
Publication Date
Jul 12, 2018
Source ID
10.1145/3213846.3213867

Entities

People

  • Corina S. Păsăreanu
  • Seemanta Saha
  • Tegan Brennan
  • Tevfik Bultan

Organizations

  • Carnegie Mellon University
  • Defense Advanced Research Projects Agency
  • National Science Foundation
  • University of California, Santa Barbara