203 citations · 998 across the 44 of their papers we have counts for
10 papers · 1 filter
Security Assessment of Interposer-based Chiplet Integration
Mohammed Shayan, Kanad Basu, Ramesh Karri
With transistor scaling reaching its limits, interposer-based integration of dies (chiplets) is gaining traction. Such an interposer-based integration enables finer and tighter int…
ASSURE: RTL Locking Against an Untrusted Foundry
Christian Pilato, Animesh Basak Chowdhury, Donatella Sciuto +2
Semiconductor design companies are integrating proprietary intellectual property (IP) blocks to build custom integrated circuits (IC) and fabricate them in a third-party foundry. U…
DAVE: Deriving Automatically Verilog from English
Hammond Pearce, Benjamin Tan, Ramesh Karri
While specifications for digital systems are provided in natural language, engineers undertake significant efforts to translate them into the programming languages understood by co…
Benchmarking at the Frontier of Hardware Security: Lessons from Logic Locking
Benjamin Tan, Ramesh Karri, Nimisha Limaye +33
Integrated circuits (ICs) are the foundation of all computing systems. They comprise high-value hardware intellectual property (IP) that are at risk of piracy, reverse-engineering,…
A Survey of Cybersecurity of Digital Manufacturing
Priyanka Mahesh, Akash Tiwari, Chenglu Jin +5
The Industry 4.0 concept promotes a digital manufacturing (DM) paradigm that can enhance quality and productivity, that reduces inventory and the lead-time for delivering custom, b…
Security of Cloud FPGAs: A Survey
Chenglu Jin, Vasudev Gohil, Ramesh Karri +1
Integrating Field Programmable Gate Arrays (FPGAs) with cloud computing instances is a rapidly emerging trend on commercial cloud computing platforms such as Amazon Web Services (A…
HACK3D: Crowdsourcing the Assessment of Cybersecurity in Digital Manufacturing
Michael Linares, Nishant Aswani, Gary Mac +4
Digital manufacturing (DM) cyber-physical system is vulnerable to both cyber and physical attacks. HACK3D is a series of crowdsourcing red-team-blue-team events hosted by the NYU C…
Bias Busters: Robustifying DL-based Lithographic Hotspot Detectors Against Backdooring Attacks
Kang Liu, Benjamin Tan, Gaurav Rajavendra Reddy +3
Deep learning (DL) offers potential improvements throughout the CAD tool-flow, one promising application being lithographic hotspot detection. However, DL techniques have been show…
Hardware Trojan Detection Using Controlled Circuit Aging
Virinchi Roy Surabhi, Prashanth Krishnamurthy, Hussam Amrouch +4
This paper reports a novel approach that uses transistor aging in an integrated circuit (IC) to detect hardware Trojans. When a transistor is aged, it results in delays along sever…
NNoculation: Catching BadNets in the Wild
Akshaj Kumar Veldanda, Kang Liu, Benjamin Tan +5
This paper proposes a novel two-stage defense (NNoculation) against backdoored neural networks (BadNets) that, repairs a BadNet both pre-deployment and online in response to backdo…