|
|
| | Trustworthy Systems Group: secure and performant real-world computer systems (trustworthy.systems) | | 1 point by doener 49 days ago | past | |
| | Virtualising Darwin on L4 (2007) [pdf] (trustworthy.systems) | | 10 points by todsacerdoti on July 17, 2024 | past | |
| | LionsOS: Towards a Dependable Operating System (trustworthy.systems) | | 2 points by snvzz on June 27, 2024 | past | |
| | Verifying the SeL4 Microkit (trustworthy.systems) | | 4 points by snvzz on June 25, 2024 | past | |
| | Lions OS: secure – fast – adaptable (trustworthy.systems) | | 138 points by snvzz on April 18, 2024 | past | 61 comments | |
| | Lions Operating System: Secure, fast, adaptable (trustworthy.systems) | | 1 point by snvzz on April 16, 2024 | past | 3 comments | |
| | Design, Implementation and Evaluation of the SeL4 Device Driver Framework [pdf] (trustworthy.systems) | | 3 points by snvzz on April 9, 2024 | past | 3 comments | |
| | Understanding and Reducing Smartphone Energy Consumption (2017)[pdf] (trustworthy.systems) | | 1 point by teleforce on Nov 20, 2023 | past | |
| | Pancake: Verified Systems Programming Made Sweeter [pdf] (trustworthy.systems) | | 3 points by todsacerdoti on Oct 4, 2023 | past | 1 comment | |
| | Property-Based Testing: Climbing the Stairway to Verification [pdf] (trustworthy.systems) | | 3 points by todsacerdoti on Aug 14, 2023 | past | |
| | Makatea: Qubes-Like OS on SeL4 (trustworthy.systems) | | 27 points by fsflover on March 22, 2022 | past | 2 comments | |
| | x86-64 VMM for SeL4: Security Analysis and Requirements [pdf] (trustworthy.systems) | | 19 points by fsflover on March 22, 2022 | past | |
|
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
|
