EISec: Exhaustive Information Flow Security of Hardware Intellectual Property Utilizing Symbolic Execution

Document Details

Document Type
Pub Defense Publication
Publication Date
Dec 14, 2022
Source ID
10.1109/asianhost56390.2022.10022071

Entities

People

  • Domenic Forte
  • Farhaan Fowze
  • Muhtadi Choudhury

Organizations

  • Air Force Office of Scientific Research
  • University of Florida