Dean Sullivan

Dictionary-constrained mutation operators can yield valid HDL repairs 18 times faster than existing methods, even tackling complex multi-bug instances that other tools fail to fix.

Achieving 100% recall in localizing firmware vulnerabilities demonstrates a breakthrough in automated patch synthesis that could redefine post-silicon security practices.