Artificial Intelligence
Building intelligent machines that complement human reasoning and extend what people can do.
동영상
ASPLOS’22 – Session 2B | Revizor: Testing Black-box CPUs against Speculation Contracts
ASPLOS’22: The 27th International Conference on Architectural Support for Programming Languages and Operating Systems Session 2B: Privacy and Software Security Session Chair: Baris Kasikci, University of Michigan Title: Revizor: Testing Black-box CPUs against Speculation Contracts…
동영상
Revizor: Automatic Detection of Speculative Vulnerabilities (Lightning Talk for ASPLOS 2022)
Lightning Talk for ASPLOS 2022 Speaker: Oleksii Oleksenko Video: Neeltje Berger, Zane Colquhoun Speculative vulnerabilities such as Spectre and Meltdown can be exploited to leak information across security domains via side-channels. Revizor is a principled…
