Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
hedora
on May 7, 2023
|
parent
|
context
|
favorite
| on:
ACM Software System Award Given to seL4 Microkerne...
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
[–]
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:
Having said that, it is surprisingly easy to get hardware to violate its specifications.