%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 }