Fun-SAT: Functional Corruptibility-Guided SAT-Based Attack on Sequential Logic Encryption

Document Details

Document Type
Pub Defense Publication
Publication Date
Dec 12, 2021
Source ID
10.1109/host49136.2021.9702267

Entities

People

  • Dake Chen
  • Kaixin Yang
  • Peter A. Beerel
  • Pierluigi Nuzzo
  • Yinghua Hu
  • Yuke Zhang

Organizations

  • Air Force Research Laboratory
  • Defense Advanced Research Projects Agency
  • University of Southern California