|
|
| 1. | | Codasip delivers processor security to actively prevent most common cyberattacks (codasip.com) | | 1 point by fuklief on Oct 31, 2023 | past | |
| 2. | | CHERIoT: Complete Memory Safety for Embedded Devices [pdf] (cheriot.org) | | 3 points by fuklief on Oct 23, 2023 | past | |
| 3. | | Tillitis TKey (tillitis.se) | | 3 points by fuklief on April 4, 2023 | past | |
| 4. | | Information Flow Control Challenge (ifc-challenge.appspot.com) | | 1 point by fuklief on Oct 24, 2022 | past | |
| 5. | | Linux for Cheri RISC-V (github.com/cheri-linux) | | 3 points by fuklief on Sept 7, 2022 | past | |
| 6. | | Reflets coincidentally invites itself in the Ukrainian police cars (reflets.info) | | 17 points by fuklief on March 2, 2022 | past | 1 comment | |
| 7. | | Reticle: A Virtual Machine for Programming Modern FPGAs [pdf] (washington.edu) | | 4 points by fuklief on May 1, 2021 | past | |
| 8. | | Crellvm: Verified Credible Compilation for LLVM (snu.ac.kr) | | 72 points by fuklief on March 8, 2018 | past | 4 comments | |
| 9. | | Coming Soon: Machine-Checked Proofs in Everyday Development (ccc.de) | | 185 points by fuklief on Dec 30, 2017 | past | 75 comments | |
| 10. | | HACL*: A Verified Modern Cryptographic Library [pdf] (iacr.org) | | 2 points by fuklief on July 26, 2017 | past | |
| 11. | | Build it Break it Fix it programming contest is starting (builditbreakit.org) | | 2 points by fuklief on Sept 23, 2016 | past | |
|
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
|
