HN Explorer

fuklief

↗ HN profile [ 73.8 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Codasip delivers processor security to actively prevent most common cyberattacks (codasip.com)
    1 points 0
  2. CHERIoT: Complete Memory Safety for Embedded Devices [pdf] (cheriot.org)
    3 points 0
  3. Tillitis TKey (shop.tillitis.se)
    3 points 0
  4. Information Flow Control Challenge (ifc-challenge.appspot.com)
    1 points 0
  5. Linux for Cheri RISC-V (github.com)
    3 points 0
  6. Reflets coincidentally invites itself in the Ukrainian police cars (reflets.info)
    17 points 1
  7. Reticle: A Virtual Machine for Programming Modern FPGAs [pdf] (homes.cs.washington.edu)
    4 points 0
  8. Crellvm: Verified Credible Compilation for LLVM (sf.snu.ac.kr)
    72 points 4
  9. Coming Soon: Machine-Checked Proofs in Everyday Development (media.ccc.de)
    185 points 75
  10. HACL*: A Verified Modern Cryptographic Library [pdf] (eprint.iacr.org)
    2 points 0
  11. Build it Break it Fix it programming contest is starting (builditbreakit.org)
    2 points 0