Harmful devices considered harmless.
Design and Verification of Secure Systems