MABFuzz: Multi-Armed Bandit Algorithms for Fuzzing Processors — mentioned by bartlettD

Mon, 08 Jan 2024 11:45:34 GMT

The claim here is that "existing hardware fuzzers are inefficient in verifying processors because they make many static decisions disregarding the design complexity and the design space explored". "To address this limitation of static strategies in fuzzers, we develop an approach to equip any hardware fuzzer with a dynamic decision-making technique, multi-armed bandit (MAB) algorithms." (From their paper: https://arxiv.org/pdf/2311.14594.pdf) They're saying their fuzzer is faster and better at finding bugs than other fuzzing aproaches.

Paper and discussion history. A mention is not an endorsement.

MABFuzz: Multi-Armed Bandit Algorithms for Fuzzing Processors · HackerPapers discussions

MABFuzz: Multi-Armed Bandit Algorithms for Fuzzing Processors — mentioned by bartlettD