HyPFuzz: Formal-Assisted Processor Fuzzing

C. Chen, R. Kande, F. Andersen, A. Tyagi, A. Sadeghi, J. Rajendran
32nd USENIX Security Symposium, August 2023

https://www.usenix.org/conference/usenixsecurity23/presentation/chen-chen