Hacker News new | past | comments | ask | show | jobs | submit | from login
[dupe] Time Protection: The Missing OS Abstraction [pdf] (data61.csiro.au)
13 points by ingve 10 days ago | past | web | 2 comments
Time Protection: The Missing OS Abstraction [pdf] (data61.csiro.au)
1 point by signa11 20 days ago | past | web
Time protection: The missing OS abstraction (data61.csiro.au)
77 points by walterbell 24 days ago | past | web | 8 comments
A Principled, Light-Weight Operating-System Mechanism for Managing Time [pdf] (data61.csiro.au)
3 points by ingve 5 months ago | past | web
No Security Without Time Protection: We Need a New Hardware-Software Contract [pdf] (data61.csiro.au)
2 points by ngaut 7 months ago | past | web
The Jury Is In: Monolithic OS Design Is Flawed [pdf] (data61.csiro.au)
172 points by ingve 8 months ago | past | web | 194 comments
Aim to reduce the cost of verified systems software (data61.csiro.au)
1 point by reirob on Dec 27, 2016 | past | web
Rust as a language for high performance GC implementation (data61.csiro.au)
5 points by jdub on Sept 29, 2016 | past | web
L4 microkernels: The lessons from 20 years of research and deployment (data61.csiro.au)
218 points by snvzz on Sept 20, 2016 | past | web | 95 comments

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | Legal | Apply to YC | Contact

Search: