Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleJuly 2024
Removal of SAT-Hard Instances in Logic Obfuscation Through Inference of Functionality
ACM Transactions on Design Automation of Electronic Systems (TODAES), Volume 29, Issue 4Article No.: 71, Pages 1–23https://doi.org/10.1145/3674903Logic obfuscation is a prominent approach to protect intellectual property within integrated circuits during fabrication. Many attacks on logic locking have been proposed, particularly in the Boolean satifiability (SAT) attack family, leading to the ...
- research-articleMarch 2024
Security Advantages and Challenges of 3D Heterogeneous Integration
- Yuntao Liu,
- Daniel Xing,
- Isaac McDaniel,
- Olsan Ozbay,
- Abir Akib,
- Mumtahina Islam Sukanya,
- Sanjay Rekhi,
- Ankur Srivastava,
- James Bret Michael
Three-dimensional heterogeneous integration offers compelling opportunities to enhance the security and trust in the current semiconductor chain while new attack surfaces may emerge.
- research-articleDecember 2022
A Combined Logical and Physical Attack on Logic Obfuscation
ICCAD '22: Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided DesignArticle No.: 68, Pages 1–9https://doi.org/10.1145/3508352.3549349Logic obfuscation protects integrated circuits from an untrusted foundry attacker during manufacturing. To counter obfuscation, a number of logical (e.g. Boolean satisfiability) and physical (e.g. electro-optical probing) attacks have been proposed. By ...