TimeDice: Schedulability-Preserving Priority Inversion for Mitigating Covert Timing Channels Between Real-time Partitions

Document Details

Document Type
Pub Defense Publication
Publication Date
Jun 01, 2022
Source ID
10.1109/dsn53405.2022.00052

Entities

People

  • Jung-Eun Kim
  • Man-Ki Yoon
  • Richard Bradford
  • Zhong Shao

Organizations

  • Collins Aerospace
  • Defense Advanced Research Projects Agency
  • Syracuse University
  • Yale University