3 ms·It's proven correct against specification. That's not the same thing as 'secure' (although it helps).by kjs3 4y agoIt's proven correct against specification. That's not the same thing as 'secure' (although it helps).hedora 4y agoThe specification includes the semantics of the hardware it runs on, and shows security properties. Having said that, it is surprisingly easy to get hardware to violate its specifications.kjs3 3y agoWhich...is not the same thing as 'secure' (although it helps).