Fuzzing Secure Monitor Implementations - View it on GitHub