1Codasip delivers processor security to actively prevent most common cyberattacks (opens in new tab)(codasip.com)1fuklief2y ago0Save
2CHERIoT: Complete Memory Safety for Embedded Devices [pdf] (opens in new tab)(cheriot.org)PDF3fuklief2y ago0Save
6Reflets coincidentally invites itself in the Ukrainian police cars (opens in new tab)(reflets.info)17fuklief4y ago1Save
7Reticle: A Virtual Machine for Programming Modern FPGAs [pdf] (opens in new tab)(homes.cs.washington.edu)PDF4fuklief5y ago0Save
8Crellvm: Verified Credible Compilation for LLVM (opens in new tab)(sf.snu.ac.kr)72fuklief8y ago4Save
9Coming Soon: Machine-Checked Proofs in Everyday Development (opens in new tab)(media.ccc.de)185fuklief8y ago75Save
10HACL*: A Verified Modern Cryptographic Library [pdf] (opens in new tab)(eprint.iacr.org)PDF2fuklief8y ago0Save
11Build it Break it Fix it programming contest is starting (opens in new tab)(builditbreakit.org)2fuklief9y ago0Save
