Hacker News
- SeL4: OS with formal correctness + security proof http://sel4.systems/ 2 comments
- Sel4: We’re going open source http://sel4.systems/ 62 comments
- seL4 is mathematically verificable and now it's open source http://sel4.systems/ 2 comments hurd
- seL4, the world's first OS kernel with an end-to-end proof of implementation correctness is now open source http://sel4.systems/ 387 comments programming
- The world's first operating-system kernel with an end-to-end proof of implementation correctness and security enforcement is now open source. http://sel4.systems/ 48 comments netsec
Linking pages
- It’s time for a memory safety intervention https://tonyarcieri.com/it-s-time-for-a-memory-safety-intervention 513 comments
- Why Don't People Use Formal Methods? https://www.hillelwayne.com/post/why-dont-people-use-formal-methods/ 382 comments
- Rust: "Move fast and break things" as a moral imperative https://drewdevault.com/2021/02/09/rust-move-fast-and-break-things.html 342 comments
- stronglink/SUBSTANCE.md at master · btrask/stronglink · GitHub https://github.com/btrask/stronglink/blob/master/substance.md 141 comments
- What Computers Cannot Do: The Consequences of Turing-Completeness | Yzena, LLC https://yzena.com/2024/03/what-computers-cannot-do-the-consequences-of-turing-completeness/ 119 comments
- GitHub - seL4/seL4: The seL4 microkernel https://github.com/seL4/seL4 79 comments
- What I've Learned About Formal Methods In Half a Year â Jakob's Personal Webpage https://jakob.space/blog/what-ive-learned-about-formal-methods.html 70 comments
- Time protection: the missing OS abstraction | the morning paper https://blog.acolyer.org/2019/04/15/time-protection-the-missing-os-abstraction/ 55 comments
- A Formal Verification of Rust's Binary Search Implementation https://kha.github.io/2016/07/22/formally-verifying-rusts-binary-search.html 43 comments
- GitHub - sorpaas/rux: A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4. https://github.com/sorpaas/rux 29 comments
- GitHub - veeral-patel/how-to-secure-anything: How to systematically secure anything: a repository about security engineering https://github.com/veeral-patel/how-to-secure-anything 29 comments
- Secure the Border and Build the Wall â A Compendium of Access Control on Unix-Like OSes https://venam.nixers.net/blog/unix/2023/02/28/access_control.html 23 comments
- GitHub - veeral-patel/how-to-secure-anything: How to systematically secure anything: a repository about security engineering https://github.com/veeral-patel/learn-security-engineering 20 comments
- The Verification Gap: A Major Hurdle for the Industry Adoption of Formal Methods | Concerning Quality https://concerningquality.com/verification-gap/ 17 comments
- GitHub - mikeroyal/RISC-V-Guide: RISC-V Guide. Learn all about the RISC-V computer architecture along with the Development Tools and Operating Systems to develop on RISC-V hardware. https://github.com/mikeroyal/RISC-V-Guide 10 comments
- Secure Microkernel seL4 Reaches Version 7 https://www.infoq.com/news/2017/10/sel4-bug-free-microkernel-7 10 comments
- GitHub - riscvarchive/riscv-software-list: The RISC-V software tools list, as seen on riscv.org https://github.com/riscv/riscv-software-list 5 comments
- GitHub - vincenthouyi/LakeOS: A L4-like micro-kernel OS written in Rust https://github.com/vincenthouyi/LakeOS 5 comments
- Operating systems | Everything I know https://wiki.nikiv.dev/operating-systems/ 2 comments
- Introducing the Wasm landscape | Cloud Native Computing Foundation https://www.cncf.io/blog/2023/09/06/introducing-the-wasm-landscape/ 1 comment