Have you ever wondered how secure critical systems, like medical devices, aerospace systems or autonomous cars, really are ...