String analysis for side channels with segmented oracles

Document Details

Document Type
Pub Defense Publication
Publication Date
Nov 01, 2016
Source ID
10.1145/2950290.2950362

Entities

People

  • Abdulbaki Aydin
  • Corina S. Păsăreanu
  • Lucas Bang
  • Quoc-sang Phan
  • Tevfik Bultan

Organizations

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