jldodds

4 ms·

1. 1.▲
   by jldodds 5y ago

   I'm sorry you've gotten that impression. We do have some things we'd be interested in getting more users for, but much of what we build is prototypes. If you're interested I'd love to talk.
2. 2.▲
   What the hell are the blockchain people doing and why isn't it a dumpster fire?(youtube.com)

   3 points by jldodds 5y ago|0 comments
3. 3.▲
   Using Cryptol to analyze parts of the QUIC spec(galois.com)

   2 points by jldodds 6y ago|0 comments
4. 4.▲
   by jldodds 6y ago

   I believe it! The message in the episode is probably not that everything is great in the blockchain world, because you're right, there are lots of explits and lots of forks. Lots of what blockchain is doing involves building mistakes o
5. 5.▲
   What the hell are the blockchain people doing and why isn't it a dumpster fire?(youtube.com)

   8 points by jldodds 6y ago|3 comments
6. 6.▲
   Podcast Episode Discussing New Attack on CKKS Homomorphic Encryption Primitive(youtube.com)

   2 points by jldodds 6y ago|0 comments
7. 7.▲
   by jldodds 7y ago

   It will be possible to use ElectionGuard as the core of optical scan systems. This will give end to end verifiability properties on the recording and counting mechanisms.
8. 8.▲
   Bringing Formal Methods to Industry(twitter.com)

   1 points by jldodds 8y ago|0 comments
9. 9.▲
   Proofs of correctness for Amazon's TLS library(link.springer.com)

   1 points by jldodds 8y ago|0 comments