Decomposition instead of self-composition for proving the absence of timing channels

Document Details

Document Type
Pub Defense Publication
Publication Date
Jun 14, 2017
Source ID
10.1145/3062341.3062378

Entities

People

  • Eric Koskinen
  • Michael Hicks
  • Paul Gazzillo
  • Shiyi Wei
  • Tachio Terauchi
  • Timos Antonopoulos

Organizations

  • Defense Advanced Research Projects Agency
  • Japan Advanced Institute of Science and Technology
  • Japan Society for the Promotion of Science
  • Ministry of Education, Culture, Sports, Science and Technology
  • National Science Foundation
  • University of Maryland
  • Yale University