Hacker News new | ask | show | jobs
by kjs3 1181 days ago
It's proven correct against specification. That's not the same thing as 'secure' (although it helps).
1 comments
hedora 1181 days ago
The 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.

link
kjs3 1179 days ago
Which...is not the same thing as 'secure' (although it helps).
link