Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Abhishek Anil Nair

dblp:347/1749 · DBLP profile ↗
← Back
2ranked-venue papers
1as first author
2since 2021 · last 2023
0000-0001-5396-1305ORCID · reported

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

Systems, architecture and hardware · 1 · 1 since 2021Software engineering, systems software and programming languages · 1 · 1 first-author · 1 since 2021Theory of computation · 1 · 1 first-author · 1 since 2021

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.

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

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

TopicWeightPapersLastEvidence papers
Authentication and access control › user authentication
challenge-response authentication
0.712023
SIGNED: A Challenge-Response Scheme for Electronic Hardware Watermarking · IEEE Trans. Computers 2023
Hardware security and side channels › intellectual property protection
hardware watermarking
0.712023
SIGNED: A Challenge-Response Scheme for Electronic Hardware Watermarking · IEEE Trans. Computers 2023
Hardware security and side channels
intellectual property protection
0.712023
SIGNED: A Challenge-Response Scheme for Electronic Hardware Watermarking · IEEE Trans. Computers 2023
Electronic design automation
hardware verification and test
0.212023
SIGNED: A Challenge-Response Scheme for Electronic Hardware Watermarking · IEEE Trans. Computers 2023

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

signature insertion · 1.3challenge-response protocol · 1.3
YearPublicationVenuePosition
2023 SIGNED: A Challenge-Response Scheme for Electronic Hardware Watermarking
abstract
The emergence of distributed manufacturing ecosystems for electronic hardware involving untrusted parties has led to diverse trust issues. In particular, Intellectual Property (IP) piracy, reverse engineering, and overproduction pose significant threats to integrated circuits (IC) manufacturers. Watermarking has been one of the solutions employed by the semiconductor industry to overcome many of the trust issues. However, existing watermarking techniques often suffer from one or more of the following deficiencies: (1) low structural coverage, (2) applicability to specific design abstraction level (e.g., gate or layout), (3) high design overhead, and (4) vulnerabilities to removal or tampering attacks. We address these deficiencies by introducing a new watermarking scheme, calledSIGNED:SignatureInsertion through challenGe respoNse inElectronicDesign.SIGNEDrelies on a challenge-response protocol-based interrogation scheme for generating the watermark. It identifies strategic locations of an input design and samples them in response to select input patterns to form a set of compact signatures representing the functional and structural characteristics of a design. We show that this signature set can be used as high-quality watermark of an IP to verify its provenance. We evaluateSIGNEDon the ISCAS85, ITC, and MIT CEP benchmark circuits with respect to all major quality parameters of hardware watermark. We show thatSIGNEDachieves excellent structural coverage and robustness against identification and removal attacks, while introducing modest design overheads.
Patanjali SLPSK, Abhishek Anil Nair, Chester Rebeiro, Swarup Bhunia
IEEE Trans. Computers2
2022 Proof-Stitch: Proof Combination for Divide-and-Conquer SAT Solvers
Abhishek Anil Nair, Saranyu Chattopadhyay, Haoze Wu 0001, Alex Ozdemir, Clark W. Barrett
FMCAD1