News for hackers. Stuff that matters.

A comment on ACM Software System Award Given to seL4 Microkernel. Parent comment

Re:ACM Software System Award Given to seL4 Microkernel by kjs3 on Saturday May 06, 2023 @04:25PM (#35845078)
It's proven correct against specification. That's not the same thing as 'secure' (although it helps).
[ Parent | on HN ]
Re:ACM Software System Award Given to seL4 Microkernel by hedora on Saturday May 06, 2023 @09:40PM (#35847054)
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.

[ Parent | on HN ]
Re:ACM Software System Award Given to seL4 Microkernel by kjs3 on Tuesday May 09, 2023 @01:01AM (#35870345)
Which...is not the same thing as 'secure' (although it helps).
[ Parent | on HN ]