Isadora: automated information-flow property generation for hardware security verification

Autor:	Calvin Deutschbein, Andres Meza, Francesco Restuccia, Ryan Kastner, Cynthia Sturton
Rok vydání:	2022
Předmět:	Computer Networks and Communications Software
Zdroj:	Journal of Cryptographic Engineering.
ISSN:	2190-8516 2190-8508
DOI:	10.1007/s13389-022-00306-w
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::62e0874a4b45dcc5f625773b04ae9181 https://doi.org/10.1007/s13389-022-00306-w Zobrazit plný text záznamu Full text from SpringerLink