https://d1.awsstatic.com/Security/pdfs/Model_Checking_Boot_Code_From_AWS_Data_Centers.pdf
https://aws.amazon.com/security/provable-security/
https://github.com/diffblue/cbmc
