Cryptographic Accelerator Verification is the formal process of rigorously assessing the correctness, security, and functional integrity of hardware modules designed to execute cryptographic algorithms, ensuring they conform to specified security properties and resist implementation-based vulnerabilities.
3
Publications
120
Citations
23
Authors
7
Institutions
Publications per year
2017–2026
3
Publications
3
Vale: Verifying High-Performance Cryptographic Assembly Code
Barry Bond, Chris Hawblitzel, Manos Kapritsos et al. · USENIX Security Symposium · 2017 · 74 citations
Kamyar Mohajerani, Richard Haeussler, Rishub Nagpal et al. · IACR Cryptology ePrint Archive · 2020 · 27 citations
1–3 of 3
Authors
23
- JK
1
h-index
- RN
1
h-index
- BBBenjamin Beurdouche
Institut national de recherche en sciences et technologies du numérique, France
1 publications · 19 citations
1
h-index
- MP
1
h-index
- KM
1
h-index
1–5 of 23
Institutions
7
Microsoft Research (United Kingdom)
Cambridge, United Kingdom
2 h-index
6 publications
389 citations
Carnegie Mellon University
Pittsburgh, United States
2 h-index
2 publications
93 citations
University of Michigan
Ann Arbor, United States
1 h-index
1 publications
74 citations
Institut national de recherche en sciences et technologies du numérique
Le Chesnay-Rocquencourt, France
1 h-index
4 publications
76 citations
Cornell University
Ithaca, United States
1 h-index
1 publications
74 citations
Microsoft (United States)
Redmond, United States
1 h-index
1 publications
19 citations
The University of Texas at Austin
Austin, United States
1 h-index
1 publications
74 citations
1–7 of 7
Venues
- IACR Cryptology ePrint Archive
Repository · 1 publications · 27 citations
1
h-index
- USENIX Security Symposium
Conference · 1 publications · 74 citations
1
h-index
1–2