Oleksii Oleksenko, Marco Guarnieri, Boris Köpf, Mark Silberstein. Hide and Seek with Spectres: Efficient discovery of speculative information leaks with random testing. In 44th IEEE Symposium on Security and Privacy, SP 2023, San Francisco, CA, USA, May 21-25, 2023. pages 1737-1752, IEEE, 2023. [doi]
Abstract is missing.