Page, D. FIAT: Firmware for Implementation Attack Targets [Computer software]. https://www.github.com/danpage/fiat