jldodds's submissions

1.		What the hell are the blockchain people doing and why isn't it a dumpster fire? (youtube.com)
		3 points by jldodds on May 11, 2021 \| past
2.		Using Cryptol to analyze parts of the QUIC spec (galois.com)
		2 points by jldodds on March 5, 2021 \| past
3.		What the hell are the blockchain people doing and why isn't it a dumpster fire? (youtube.com)
		8 points by jldodds on Feb 5, 2021 \| past \| 3 comments
4.		Podcast Episode Discussing New Attack on CKKS Homomorphic Encryption Primitive (youtube.com)
		2 points by jldodds on Dec 17, 2020 \| past
5.		Bringing Formal Methods to Industry (twitter.com/n1nj4)
		1 point by jldodds on Aug 17, 2018 \| past
6.		Proofs of correctness for Amazon's TLS library (springer.com)
		1 point by jldodds on Aug 16, 2018 \| past