Efficient Information-Flow Verification Under Speculative Execution

Roderick Bloem, Swen Jacobs, Yakir Vizel

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Originalspracheenglisch
TitelEfficient Information-Flow Verification Under Speculative Execution
PublikationsstatusVeröffentlicht - 2019

Dies zitieren

Bloem, R., Jacobs, S., & Vizel, Y. (2019). Efficient Information-Flow Verification Under Speculative Execution. in Efficient Information-Flow Verification Under Speculative Execution

Efficient Information-Flow Verification Under Speculative Execution. / Bloem, Roderick; Jacobs, Swen; Vizel, Yakir.

Efficient Information-Flow Verification Under Speculative Execution. 2019.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Bloem, R, Jacobs, S & Vizel, Y 2019, Efficient Information-Flow Verification Under Speculative Execution. in Efficient Information-Flow Verification Under Speculative Execution.
Bloem R, Jacobs S, Vizel Y. Efficient Information-Flow Verification Under Speculative Execution. in Efficient Information-Flow Verification Under Speculative Execution. 2019
Bloem, Roderick ; Jacobs, Swen ; Vizel, Yakir. / Efficient Information-Flow Verification Under Speculative Execution. Efficient Information-Flow Verification Under Speculative Execution. 2019.
@inproceedings{4b3c7ac8fcc64eaa869c44e15e36297a,
title = "Efficient Information-Flow Verification Under Speculative Execution",
author = "Roderick Bloem and Swen Jacobs and Yakir Vizel",
note = "ATVA",
year = "2019",
language = "English",
booktitle = "Efficient Information-Flow Verification Under Speculative Execution",

}

TY - GEN

T1 - Efficient Information-Flow Verification Under Speculative Execution

AU - Bloem, Roderick

AU - Jacobs, Swen

AU - Vizel, Yakir

N1 - ATVA

PY - 2019

Y1 - 2019

M3 - Conference contribution

BT - Efficient Information-Flow Verification Under Speculative Execution

ER -