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),
- 2021-11-04; in: "2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD)",
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Created from the Publication Database of the Vienna University of Technology.