automated reverse engineering using lego® .
detecting communication protocol security flaws by formal fuzz testing and machine learning .