Top New Best Ask Show Jobs

fuklief

239 karma · joined April 29, 2015

submissions comments

Codasip delivers processor security to actively prevent most common cyberattacks

codasip.com·1 pts·fuklief·

CHERIoT: Complete Memory Safety for Embedded Devices [pdf]

cheriot.org·3 pts·fuklief·

Tillitis TKey

shop.tillitis.se·3 pts·fuklief·

Information Flow Control Challenge

ifc-challenge.appspot.com·1 pts·fuklief·

Linux for Cheri RISC-V

github.com·3 pts·fuklief·

Reflets coincidentally invites itself in the Ukrainian police cars

reflets.info·17 pts·fuklief·

Reticle: A Virtual Machine for Programming Modern FPGAs [pdf]

homes.cs.washington.edu·4 pts·fuklief·

Crellvm: Verified Credible Compilation for LLVM

sf.snu.ac.kr·72 pts·fuklief·

Coming Soon: Machine-Checked Proofs in Everyday Development

media.ccc.de·185 pts·fuklief·

HACL*: A Verified Modern Cryptographic Library [pdf]

eprint.iacr.org·2 pts·fuklief·

Build it Break it Fix it programming contest is starting

builditbreakit.org·2 pts·fuklief·