HN Explorer

jldodds

↗ HN profile [ 29.5 ms ] full profile
Karma
12
Created
July 24, 2018 (7y ago)
Submissions
0
  1. What the hell are the blockchain people doing and why isn't it a dumpster fire? (youtube.com)
    3 points 0
  2. Using Cryptol to analyze parts of the QUIC spec (galois.com)
    2 points 0
  3. What the hell are the blockchain people doing and why isn't it a dumpster fire? (youtube.com)
    8 points 3
  4. Podcast Episode Discussing New Attack on CKKS Homomorphic Encryption Primitive (youtube.com)
    2 points 0
  5. Bringing Formal Methods to Industry (twitter.com)
    1 points 0
  6. Proofs of correctness for Amazon's TLS library (link.springer.com)
    1 points 0