Inproceedings,
HyPFuzz: Formal-Assisted Processor Fuzzing.
C. Chen, R. Kande, N. Nguyen, F. Andersen, A. Tyagi, A. Sadeghi, and J. Rajendran.USENIX Security Symposium, page 1361-1378. USENIX Association, (2023)
Meta data
- BibTeX key
- conf/uss/ChenKNATSR23
- entry type
- inproceedings
- booktitle
- USENIX Security Symposium
- year
- 2023
- pages
- 1361-1378
- publisher
- USENIX Association
- crossref
- conf/uss/2023
- ee
- https://www.usenix.org/conference/usenixsecurity23/presentation/chen-chen
- url
- http://dblp.uni-trier.de/db/conf/uss/uss2023.html#ChenKNATSR23
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/uss/ChenKNATSR23
%A Chen, Chen
%A Kande, Rahul
%A Nguyen, Nathan
%A Andersen, Flemming
%A Tyagi, Aakash
%A Sadeghi, Ahmad-Reza
%A Rajendran, Jeyavijayan
%B USENIX Security Symposium
%D 2023
%E Calandrino, Joseph A.
%E Troncoso, Carmela
%I USENIX Association
%K dblp
%P 1361-1378
%T HyPFuzz: Formal-Assisted Processor Fuzzing.
%U http://dblp.uni-trier.de/db/conf/uss/uss2023.html#ChenKNATSR23
@inproceedings{conf/uss/ChenKNATSR23,
added-at = {2023-10-18T00:00:00.000+0200},
author = {Chen, Chen and Kande, Rahul and Nguyen, Nathan and Andersen, Flemming and Tyagi, Aakash and Sadeghi, Ahmad-Reza and Rajendran, Jeyavijayan},
biburl = {https://www.bibsonomy.org/bibtex/2d31d335ff24b209f66cf58acae308da5/dblp},
booktitle = {USENIX Security Symposium},
crossref = {conf/uss/2023},
editor = {Calandrino, Joseph A. and Troncoso, Carmela},
ee = {https://www.usenix.org/conference/usenixsecurity23/presentation/chen-chen},
interhash = {865bc8240a9f019879264676ea78d9b9},
intrahash = {d31d335ff24b209f66cf58acae308da5},
keywords = {dblp},
pages = {1361-1378},
publisher = {USENIX Association},
timestamp = {2024-04-09T15:39:57.000+0200},
title = {HyPFuzz: Formal-Assisted Processor Fuzzing.},
url = {http://dblp.uni-trier.de/db/conf/uss/uss2023.html#ChenKNATSR23},
year = 2023
}