Secure Interface Verification is a hardware security validation methodology that formally ensures the correctness and confidentiality of communication protocols between trusted and untrusted components by verifying adherence to defined security properties, distinguishing it from broader verification approaches through its focused scope on interface-level threat mitigation.
6
Publications
161
Citations
14
Authors
9
Institutions
Publications per year
2017–2026
0
Publications
6
Stéphanie Delaune, Steve Kremer, Graham Steel · 2008 · 48 citations
Mooi Choo Chuah, Steve Sample · 2011 · 19 citations
1–5 of 6
Authors
14
- SKSteve Kremer
Institut national de recherche en sciences et technologies du numérique, France
2 publications · 90 citations
2
h-index
- GS
2
h-index
- SD
2
h-index
- MW
1
h-index
- TF
1
h-index
1–5 of 14
Institutions
9
École Normale Supérieure Paris-Saclay
Gif-sur-Yvette, France
1 h-index
3 publications
126 citations
Queen Mary University of London
London, United Kingdom
1 h-index
1 publications
12 citations
Tokyo Institute of Technology
Tokyo, Japan
1 h-index
2 publications
58 citations
Ruhr University Bochum
Bochum, Germany
1 h-index
3 publications
33 citations
Institut national de recherche en sciences et technologies du numérique
Le Chesnay-Rocquencourt, France
1 h-index
3 publications
126 citations
Lehigh University
Bethlehem, United States
1 h-index
2 publications
38 citations
Centre National de la Recherche Scientifique
Paris, France
1 h-index
3 publications
126 citations
Hitachi (Japan)
Tokyo, Japan
1 h-index
1 publications
29 citations
1–8 of 9
Venues
- Journal of Systems and Software
JSS · 1 publications · 12 citations
1
h-index
- IEEE Transactions on Computers
1 publications · 29 citations
1
h-index
- Journal of Computer Security
1 publications · 42 citations
1
h-index
1–3