HyPFuzz: Formal-Assisted Processor Fuzzing
Submitted by jasmine@usenix.org on June 29, 2023 - 2:41 pm
| Title | HyPFuzz: Formal-Assisted Processor Fuzzing |
| Publication Type | Conference Paper |
| Year of Publication | 2023 |
| Authors | Chen C, Kande R, Nguyen N, Andersen F, Tyagi A, Sadeghi A-R, Rajendran J |
| Conference Name | 32nd USENIX Security Symposium (USENIX Security 23) |
| Date Published | 08/2023 |
| Publisher | USENIX Association |
| Conference Location | Anaheim, CA |
| ISBN Number | 978-1-939133-37-3 |
| URL | https://www.usenix.org/conference/usenixsecurity23/presentation/chen-chen |
- DBLP
- Log in or Register to post comments
- Google Scholar
- BibTeX