An Open-Source Toolkit for Model-Based Fuzzing of ARM CPUs

Explore an innovative approach to ARM CPU security testing in this 45-minute conference talk from Hack In The Box Security Conference. Delve into the challenges of understanding complex CPU architectures and learn how to leverage ARM's machine-parsable reference manuals for model-based fuzzing and verification. Discover Scapula, a new open-source toolkit designed to programmatically search for behaviors that violate CPU specifications. Gain insights into techniques, findings, and results from ARM-based platform testing, as well as technical challenges and future improvements in this field. Benefit from the speaker's expertise in virtualization, operating system kernels, system firmware, and embedded systems as you explore this cutting-edge approach to enhancing embedded system security and reliability.