fuklief

239 karmajoined April 29, 2015On HN

Recent submissions

Codasip delivers processor security to actively prevent most common cyberattacks codasip.com
1fuklief2ydiscuss
CHERIoT: Complete Memory Safety for Embedded Devices [pdf]cheriot.org
3fuklief2ydiscuss
Tillitis TKey shop.tillitis.se
3fuklief3ydiscuss
Information Flow Control Challenge ifc-challenge.appspot.com
1fuklief3ydiscuss
Linux for Cheri RISC-V github.com/cheri-linux
3fuklief4ydiscuss
Reflets coincidentally invites itself in the Ukrainian police cars reflets.info
17fuklief4y1 comment
Reticle: A Virtual Machine for Programming Modern FPGAs [pdf]homes.cs.washington.edu
4fuklief5ydiscuss
Crellvm: Verified Credible Compilation for LLVM sf.snu.ac.kr
72fuklief8y4 comments
Coming Soon: Machine-Checked Proofs in Everyday Development media.ccc.de
185fuklief8y75 comments
HACL*: A Verified Modern Cryptographic Library [pdf]eprint.iacr.org
2fuklief9ydiscuss
Build it Break it Fix it programming contest is starting builditbreakit.org
2fuklief9ydiscuss

All submissions and comments on Hacker News.