Calvin Deutschbein, Andres Meza, Francesco Restuccia, Ryan Kastner, Cynthia Sturton. Isadora: automated information-flow property generation for hardware security verification. J. Cryptographic Engineering, 13(4):391-407, November 2023. [doi]
Abstract is missing.