WingNews GitHub [2]

fuklief's submissions

Codasip delivers processor security to actively prevent most common cyberattacks (codasip.com)

1 pts| 2 years ago | discuss

CHERIoT: Complete Memory Safety for Embedded Devices [pdf] (cheriot.org)

3 pts| 2 years ago | discuss

Tillitis TKey (shop.tillitis.se)

3 pts| 2 years ago | discuss

Information Flow Control Challenge (ifc-challenge.appspot.com)

1 pts| 3 years ago | discuss

Linux for Cheri RISC-V (github.com)

3 pts| 3 years ago | discuss

Reflets coincidentally invites itself in the Ukrainian police cars (reflets.info)

17 pts| 4 years ago | 1 comment

Reticle: A Virtual Machine for Programming Modern FPGAs [pdf] (homes.cs.washington.edu)

4 pts| 4 years ago | discuss

Crellvm: Verified Credible Compilation for LLVM (sf.snu.ac.kr)

72 pts| 8 years ago | 4 comments

Coming Soon: Machine-Checked Proofs in Everyday Development (media.ccc.de)

185 pts| 8 years ago | 75 comments

HACL*: A Verified Modern Cryptographic Library [pdf] (eprint.iacr.org)

2 pts| 8 years ago | discuss

Build it Break it Fix it programming contest is starting (builditbreakit.org)

2 pts| 9 years ago | discuss

page 1