Deutschbein, Calvin, Meza, Andres, Restuccia, Francesco, Kastner, Ryan, and Sturton, Cynthia. Isadora: automated information-flow property generation for hardware security verification. Retrieved from https://par.nsf.gov/biblio/10502725. Journal of Cryptographic Engineering 13.4 Web. doi:10.1007/s13389-022-00306-w.

Deutschbein, Calvin, Meza, Andres, Restuccia, Francesco, Kastner, Ryan, & Sturton, Cynthia. Isadora: automated information-flow property generation for hardware security verification. Journal of Cryptographic Engineering, 13 (4). Retrieved from https://par.nsf.gov/biblio/10502725. https://doi.org/10.1007/s13389-022-00306-w

Deutschbein, Calvin, Meza, Andres, Restuccia, Francesco, Kastner, Ryan, and Sturton, Cynthia. "Isadora: automated information-flow property generation for hardware security verification". Journal of Cryptographic Engineering 13 (4). Country unknown/Code not available: Springer. https://doi.org/10.1007/s13389-022-00306-w. https://par.nsf.gov/biblio/10502725.

@article{osti_10502725,
place = {Country unknown/Code not available}, title = {Isadora: automated information-flow property generation for hardware security verification}, url = {https://par.nsf.gov/biblio/10502725}, DOI = {10.1007/s13389-022-00306-w}, abstractNote = {}, journal = {Journal of Cryptographic Engineering}, volume = {13}, number = {4}, publisher = {Springer}, author = {Deutschbein, Calvin and Meza, Andres and Restuccia, Francesco and Kastner, Ryan and Sturton, Cynthia}, }