%0 Journal Article
%T Isadora: automated information-flow property generation for hardware security verification
%A Deutschbein, Calvin
%A Meza, Andres
%A Restuccia, Francesco
%A Kastner, Ryan
%A Sturton, Cynthia
%J Journal of Cryptographic Engineering
%V 13
%N 4
%P 391-407
%@ 2190-8508
%D 2023-11-01
%I Springer Berlin Heidelberg
%~ DeepDyve