Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Deutschbein, Calvin"'
Autor:
Deutschbein, Calvin
Specification mining offers a solution by automating security specification for hardware. Specification miners use a form of machine learning to specify behaviors of a system by studying a system in execution. However, specification mining was first
Externí odkaz:
http://arxiv.org/abs/2108.09249
Isadora is a methodology for creating information flow specifications of hardware designs. The methodology combines information flow tracking and specification mining to produce a set of information flow properties that are suitable for use during th
Externí odkaz:
http://arxiv.org/abs/2106.07449
Publikováno v:
In Science of Computer Programming 1 March 2019 172:102-116
Publikováno v:
Journal of Cryptographic Engineering; Nov2023, Vol. 13 Issue 4, p391-407, 17p
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.
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:
Thanh-Hoang, Tung, Shambayati, Amirali, Deutschbein, Calvin, Hoffmann, Henry, Chien, Andrew A.
Publikováno v:
2014 IEEE High Performance Extreme Computing Conference (HPEC); 2014, p1-6, 6p