Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Gümüşoglu, D."'
This work presents a design-time security verification framework for secure processor architectures. Our new SecChisel framework is built upon the Chisel hardware construction language and tools, and uses information flow analysis to verify the secur
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_____10007::f748a1bcd07c379b024615748595cddf
https://hdl.handle.net/20.500.11831/7300
https://hdl.handle.net/20.500.11831/7300
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Srinivas Katkoori, Sheikh Ariful Islam
This book presents state-of-the-art research results from leading electronic design automation (EDA) researchers on automated approaches for generating cyber-secure, smart hardware. The authors first provide brief background on high-level synthesis p
Autor:
Jorge A. Pérez, Nobuko Yoshida
This book constitutes the proceedings of the 39th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2019, held in Copenhagen, Denmark, in June 2019, as part of the 14th International Fed