Login / Signup
HyPFuzz: Formal-Assisted Processor Fuzzing.
Chen Chen
Rahul Kande
Nathan Nguyen
Flemming Andersen
Aakash Tyagi
Ahmad-Reza Sadeghi
Jeyavijayan Rajendran
Published in:
USENIX Security Symposium (2023)
Keyphrases
</>
parallel processing
formal model
data sets
high speed
formal specification
computer architecture
machine learning
parallel architectures
databases
social networks
image processing
data structure