10 citations · 12 across the 2 of their papers we have counts for
2 papers
cs.CR2023★ 10 cited
HyPFuzz: Formal-Assisted Processor Fuzzing
Chen Chen, Rahul Kande, Nathan Nguyen +4
Recent research has shown that hardware fuzzers can effectively detect security vulnerabilities in modern processors. However, existing hardware fuzzers do not fuzz well the hard-t…
cs.CR2020★ 2 cited
PEARL: Plausibly Deniable Flash Translation Layer using WOM coding
Chen Chen, Anrin Chakraborti, Radu Sion
When adversaries are powerful enough to coerce users to reveal encryption keys, encryption alone becomes insufficient for data protection. Plausible deniability (PD) mechanisms res…