Zobrazeno 1 - 3
of 3
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.