Hardware Security Verification

Hardware Security Verification is a formal methodology within hardware security that systematically assesses integrated circuits, chip designs, or hardware implementations to ensure their conformance to specified security properties and to detect vulnerabilities, trojans, or unintended behaviors that could compromise confidentiality, integrity, or availability.

412

Publications

20K

Citations

1.1K

Authors

343

Institutions

Publications per year

2017–2026

209

Parents

Hardware Security

Children

Cache Side-channel VerificationConstant-time VerificationControl-flow Integrity Verification For HardwareCryptographic Accelerator VerificationEntropy Source VerificationEquivalence Checking For Secure HardwareFault Injection Resilience VerificationFormal Hardware VerificationHardware Information Flow VerificationHardware Key Storage Verification

Publications

412

SWATT: software-based attestation for embedded devices

Abhijith Seshadri, Adrian Perrig, Leendert van Doorn et al. · 2004 · 701 citations

Computing, Computer Engineering, Computer Science +15

High-speed high-security signatures

Daniel J. Bernstein, Niels Duif, Tanja Lange et al. · Journal of Cryptographic Engineering · 2012 · 514 citations · Full text

Computing, Computer Engineering, Computer Science +17

The Hunt For The Kill Switch

Sally Adee · IEEE Spectrum · 2008 · 416 citations

Computing, Computer Engineering, Electrical Engineering +17

Property-based attestation for computing platforms

Ahmad‐Reza Sadeghi, Christian Stüble · 2005 · 371 citations

Computing, Computer Engineering, Computer Science +13

Semi-invasive attacks – A new approach to hardware security analysis

Sergei Skorobogatov · 2021 · 346 citations · Full text

Computing, Computer Engineering, Computer Science +12

1–5 of 412

Authors

1.1K

RK
Ryan Kastner
University of California San Diego, United States
15 publications · 743 citations
14
h-index
YJ
Yier Jin
University of Central Florida, United States
15 publications · 689 citations
14
h-index
RK
Ramesh Karri
New York University, United States
14 publications · 781 citations
13
h-index
GE
G. Edward Suh
Cornell University, United States
12 publications · 1K citations
12
h-index
MT
Mark Tehranipoor
University of Florida, United States
9 publications · 362 citations
10
h-index

1–5 of 1.1K

Institutions

343

1–8 of 343

Venues

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
10 publications · 618 citations
11
h-index
IEEE Transactions on Information Forensics and Security
11 publications · 715 citations
11
h-index
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
9 publications · 221 citations
9
h-index
arXiv (Cornell University)
Repository · 7 publications · 189 citations
7
h-index
IACR Transactions on Cryptographic Hardware and Embedded Systems
TCHES · 6 publications · 333 citations
7
h-index

1–5