Originalsprache | englisch |
---|---|
Titel | Efficient Information-Flow Verification Under Speculative Execution |
Publikationsstatus | Veröffentlicht - 2019 |
Efficient Information-Flow Verification Under Speculative Execution
Roderick Bloem, Swen Jacobs, Yakir Vizel
Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung