Fuzzing Embedded Trusted Operating Systems Using AFL Martijn Bogaard