Hardware Security and Trust: Logic Locking as a Design-for-Trust Solution

2018 ◽  
pp. 353-373 ◽  
Author(s):  
Muhammad Yasin ◽  
Bodhisatwa Mazumdar ◽  
Jeyavijayan Rajendran ◽  
Ozgur Sinanoglu
Keyword(s):  
Hardware Security ◽  
Logic Locking

Hardware Information Flow Tracking

2021 ◽  
Vol 54 (4) ◽  
pp. 1-39
Author(s):  
Wei Hu ◽  
Armaiti Ardeshiricham ◽  
Ryan Kastner
Keyword(s):  
Access Control ◽  
Computer Security ◽  
Information Flow ◽  
Hardware Security ◽  
Computing System ◽  
Security Vulnerabilities ◽  
Information Flow Tracking ◽  
Side Channels ◽  
Security Properties ◽  
Tools And Techniques

Information flow tracking (IFT) is a fundamental computer security technique used to understand how information moves through a computing system. Hardware IFT techniques specifically target security vulnerabilities related to the design, verification, testing, manufacturing, and deployment of hardware circuits. Hardware IFT can detect unintentional design flaws, malicious circuit modifications, timing side channels, access control violations, and other insecure hardware behaviors. This article surveys the area of hardware IFT. We start with a discussion on the basics of IFT, whose foundations were introduced by Denning in the 1970s. Building upon this, we develop a taxonomy for hardware IFT. We use this to classify and differentiate hardware IFT tools and techniques. Finally, we discuss the challenges yet to be resolved. The survey shows that hardware IFT provides a powerful technique for identifying hardware security vulnerabilities, as well as verifying and enforcing hardware security properties.

Machine learning and hardware security

2020 ◽  
Author(s):  
Francesco Regazzoni ◽  
Shivam Bhasin ◽  
Amir Ali Pour ◽  
Ihab Alshaer ◽  
Furkan Aydin ◽  
...  
Keyword(s):  
Machine Learning ◽  
Hardware Security

scholarly journals UNSAIL: Thwarting Oracle-Less Machine Learning Attacks on Logic Locking

2021 ◽  
Vol 16 ◽  
pp. 2508-2523
Author(s):  
Lilas Alrahis ◽  
Satwik Patnaik ◽  
Johann Knechtel ◽  
Hani Saleh ◽  
Baker Mohammad ◽  
...  
Keyword(s):  
Machine Learning ◽  
Logic Locking
Sign in / Sign up

Export Citation Format

Share Document