HN Explorer

fuklief

↗ HN profile [ 66.6 ms ] full profile

No user record in our sample, but fuklief has activity below (stories or comments). Likely we have partial data — the full bulk-load will fill profiles in.

  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 78
  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