BUTLER KEVIN RAYMOND BOYCE

Protocol model learning and guided firmware analysis