skip to main content


This content will become publicly available on November 1, 2024

Title: Isadora: automated information-flow property generation for hardware security verification
Award ID(s):
2247755
NSF-PAR ID:
10502725
Author(s) / Creator(s):
; ; ; ;
Publisher / Repository:
Springer
Date Published:
Journal Name:
Journal of Cryptographic Engineering
Volume:
13
Issue:
4
ISSN:
2190-8508
Page Range / eLocation ID:
391 to 407
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
No document suggestions found