HyPFuzz: Formal-Assisted Processor Fuzzing

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

USENIX ↗