|
|
| | The Megatrends that will impact Australia in the next 10-20 years (data61.csiro.au) | |
1 point by snipped on July 12, 2021 | past
|
|
| | Verified seL4 on secure RISC-V processors (data61.csiro.au) | |
155 points by todsacerdoti on July 23, 2020 | past | 14 comments
|
|
| | Time Protection – TS – Data61 (data61.csiro.au) | |
1 point by whereistimbo on June 28, 2019 | past
|
|
| | [dupe] Time Protection: The Missing OS Abstraction [pdf] (data61.csiro.au) | |
13 points by ingve on April 15, 2019 | past | 2 comments
|
|
| | Time Protection: The Missing OS Abstraction [pdf] (data61.csiro.au) | |
1 point by signa11 on April 5, 2019 | past
|
|
| | Time protection: The missing OS abstraction (data61.csiro.au) | |
77 points by walterbell on April 1, 2019 | past | 8 comments
|
|
| | A Principled, Light-Weight Operating-System Mechanism for Managing Time [pdf] (data61.csiro.au) | |
3 points by ingve on Nov 24, 2018 | past
|
|
| | No Security Without Time Protection: We Need a New Hardware-Software Contract [pdf] (data61.csiro.au) | |
2 points by ngaut on Sept 2, 2018 | past
|
|
| | The Jury Is In: Monolithic OS Design Is Flawed [pdf] (data61.csiro.au) | |
172 points by ingve on Aug 15, 2018 | past | 194 comments
|
|
| | Aim to reduce the cost of verified systems software (data61.csiro.au) | |
1 point by reirob on Dec 27, 2016 | past
|
|
| | Rust as a language for high performance GC implementation (data61.csiro.au) | |
5 points by jdub on Sept 29, 2016 | past
|
|
| | L4 microkernels: The lessons from 20 years of research and deployment (data61.csiro.au) | |
218 points by snvzz on Sept 20, 2016 | past | 95 comments
|
|
|
Consider applying for YC's W25 batch! Applications are open till Nov 12.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
|
