Hacker News
- Verified seL4 on secure RISC-V processors https://ts.data61.csiro.au/publications/csiroabstracts/Heiser_20.abstract.pml 14 comments
- Time Protection: The Missing OS Abstraction [pdf] https://ts.data61.csiro.au/publications/csiro_full_text/Ge_YCH_19.pdf 2 comments
- Time protection: The missing OS abstraction https://ts.data61.csiro.au/publications/csiroabstracts/Ge_YCH_19.abstract.pml 8 comments
- The Jury Is In: Monolithic OS Design Is Flawed [pdf] http://ts.data61.csiro.au/publications/csiro_full_text/Biggs_LH_18.pdf 194 comments
- L4 microkernels: The lessons from 20 years of research and deployment https://ts.data61.csiro.au/publications/nictaabstracts/Heiser_Elphinstone_16.abstract.pml 95 comments
Lobsters
- Verified seL4 on secure RISC-V processors https://ts.data61.csiro.au/publications/csiroabstracts/Heiser_20.abstract.pml 7 comments hardware , osdev , security
- Prevention of Microarchitectural Covert Channels on an Open-Source 64-bit RISC-V Core https://ts.data61.csiro.au/publications/csiro_full_text/Wistoff_SGBH_20.pdf 2 comments hardware , osdev , pdf , security
- The Jury is In: Monolithic OS Design is Flawed http://ts.data61.csiro.au/publications/csiro_full_text/Biggs_LH_18.pdf 15 comments osdev , pdf , security
- Rust as a language for high performance GC implementation http://ts.data61.csiro.au/publications/nictaabstracts/Lin_BHN_16.abstract.pml 11 comments rust