ISR Director Ankur Srivastava (ECE/ISR) is the principal investigator for a three-year, $500K National Science Foundation Secure and Trusted Cyberspace award, “A High Level Synthesis Approach to Logic Obfuscation.”
Use of untrusted foundries for integrated circuit (IC) fabrication has raised piracy and overproduction concerns. Logic/design locking (also known as logic obfuscation) can secure design details from an untrusted fabrication facility by incorporating a locking key that hides the circuit’s functional and structural information.
Dr. Srivastava’s project will develop a system-level methodology to design locked digital circuits that are rendered useless if the attacker uses any incorrect key and are resilient to state-of-the art attacks such as a satisfiability attack (SAT).
The project will develop several high-level design optimization techniques to open new possibilities of locking design details at the system level. The main optimization goal is corruption of an application for any incorrect key. The techniques are designed to automatically inform gate level locking constructions to achieve resiliency against SAT attacks. A few error critical inputs first will be identified at the application level. Then the architecture will be synthesized using appropriate system-level decisions to render the circuit dysfunctional for a wrong input key.
The project repository will be maintained well beyond the duration of the project and for as long as necessary subject to university archiving guidelines. It will be accessible at srivastava.umd.edu.
Securing IC encryption during manufacturing and testing
Warren Savage delivers cybersecurity keynote at DesignCon 2020
FPGA optimization: Impact of different benchmark circuits on a representative path
ISR, ECE, CS, UMIACS faculty present 12 talks at Northrop Grumman University Research Symposium
Yuntao Liu receives Wylie Dissertation Fellowship
Gang Qu gives tutorial presentation at DATE 19 Conference
Qu Wins NIST Grant
ECE Announces Computer Engineering Minor
Srivastava is PI for NSF hardware security grant
Computational framework automatically optimizes the shape of tissue engineered vascular grafts
March 30, 2020