Demo Data from EDBT 2026 / reviewers in the wild / expert
Abhishek Anil Nair
dblp:347/1749
· DBLP profile ↗
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
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Authentication and access control › user authentication
challenge-response authentication |
0.7 | 1 | 2023 | SIGNED: A Challenge-Response Scheme for Electronic Hardware Watermarking · IEEE Trans. Computers 2023 |
Hardware security and side channels › intellectual property protection
hardware watermarking |
0.7 | 1 | 2023 | SIGNED: A Challenge-Response Scheme for Electronic Hardware Watermarking · IEEE Trans. Computers 2023 |
Hardware security and side channels
intellectual property protection |
0.7 | 1 | 2023 | SIGNED: A Challenge-Response Scheme for Electronic Hardware Watermarking · IEEE Trans. Computers 2023 |
Electronic design automation
hardware verification and test |
0.2 | 1 | 2023 | 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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2023 | SIGNED: A Challenge-Response Scheme for Electronic Hardware WatermarkingabstractThe 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. Computers | 2 |
| 2022 | Proof-Stitch: Proof Combination for Divide-and-Conquer SAT Solvers
Abhishek Anil Nair, Saranyu Chattopadhyay, Haoze Wu 0001, Alex Ozdemir, Clark W. Barrett |
FMCAD | 1 |