Talks and Poster Presentations (with Proceedings-Entry):
E. Pescosta, G. Weissenbacher, F. Zuleger:
"Bounded Model Checking of Speculative Non-Interference";
Talk: 2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD),
München, Deutschland;
2021-11-01
- 2021-11-04; in: "2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD)",
IEEE,
(2021),
ISBN: 978-1-6654-4507-8;
1
- 9.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1109/ICCAD51958.2021.9643462
Created from the Publication Database of the Vienna University of Technology.