Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
kjs3
on May 6, 2023
|
parent
|
context
|
favorite
| on:
ACM Software System Award Given to seL4 Microkerne...
It's proven correct against specification. That's not the same thing as 'secure' (although it helps).
hedora
on May 7, 2023
[–]
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.
kjs3
on May 9, 2023
|
parent
[–]
Which...is not the same thing as 'secure' (although it helps).
Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
