Aman Ali

dblp:169/6256 · DBLP profile ↗
← Back
1ranked-venue papers
0as first author
0since 2021 · last 2015
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Systems, architecture and hardware · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Computer architecture, parallel and distributed computing, and storage systems
1 paper
Electronic design automation · 100%
Network and information security
1 paper
Hardware security and side channels · 100%

Topics — the 7 heaviest of 7, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Hardware security and side channels › hardware reverse engineering
integrated circuit reverse engineering
0.212015
Belling the CAD: Toward Security-Centric Electronic System Design · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2015
Hardware security and side channels › intellectual property protection
reverse engineering protection
0.212015
Belling the CAD: Toward Security-Centric Electronic System Design · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2015
Electronic design automation › system-level design
electronic system level design
0.212015
Belling the CAD: Toward Security-Centric Electronic System Design · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2015
Electronic design automation
hardware security
0.212015
Belling the CAD: Toward Security-Centric Electronic System Design · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2015
Electronic design automation
hardware verification and test
0.212015
Belling the CAD: Toward Security-Centric Electronic System Design · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2015
Electronic design automation
high-level synthesis
0.212015
Belling the CAD: Toward Security-Centric Electronic System Design · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2015
Electronic design automation › hardware verification and test
reverse engineering
0.212015
Belling the CAD: Toward Security-Centric Electronic System Design · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2015

Methods — techniques the papers use, named apart from their topics

decoy insertion · 0.4controller hardening · 0.4
YearPublicationVenuePosition
2015 Belling the CAD: Toward Security-Centric Electronic System Design
abstract
In order to keep pace with the growing complexity of integrated circuits (ICs), IC and system designers are increasingly using electronic system level (ESL) design tools. ESL tool sales were around $460 million in 2011. The value of the ICs designed using these tools is at least an order of magnitude more. Concurrently, advanced IC reverse engineering techniques are being developed and used by attackers. In response, several anti-reverse engineering techniques have been proposed for integration into the IC design flow. An important class of defenses hardens the controllers that orchestrate the functionality of designs generated by ESL tools. We demonstrate an attack to recover the controller in any ESL-generated design even if the controller has been hardened using state-of-the-art controller hardening techniques. The attack analyzes the unhardened parts of the controller (i.e., the controller output logic and datapath) and reconciles this information with the architectural, controller, and timing constraints implicit in and underlying all ESL design methodologies. We then propose a countermeasure that inserts decoy connections into an ESL tool-generated design to thwart reverse engineering. We introduce a security metric to quantify the effectiveness of the developed attacks and defenses. We demonstrate the attack and defenses on designs generated by state-of-the-art ESL tools.
Jeyavijayan Rajendran, Aman Ali, Ozgur Sinanoglu, Ramesh Karri
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.2