학술논문
Isadora: automated information-flow property generation for hardware security verification
Document Type
Article
Author
Source
In: Journal of Cryptographic Engineering . (Journal of Cryptographic Engineering, November 2023, 13(4):391-407)
Subject
Language
English
ISSN
21908516
21908508
21908508