ttaubert

Recent Submissions

1. 1. ▲ Bitslicing S-boxes with the Quine-McCluskey algorithm (timtaubert.de) 2 points · 8 years ago · 0 comments
2. 2. ▲ Verified cryptography for Firefox 57 (blog.mozilla.org) 155 points · 9 years ago · 14 comments
3. 3. ▲ Verified binary multiplication for GHASH (timtaubert.de) 2 points · 9 years ago · 0 comments
4. 4. ▲ Simple Cryptol specifications – Exploring formal verification (part 2) (timtaubert.de) 2 points · 9 years ago · 0 comments
5. 5. ▲ Equivalence proofs with SAW – Exploring formal verification (timtaubert.de) 1 point · 9 years ago · 0 comments
6. 6. ▲ TLS version intolerance – Working around bugs in legacy TLS stacks (timtaubert.de) 2 points · 10 years ago · 0 comments
7. 7. ▲ The Evolution of Signatures in TLS (timtaubert.de) 1 point · 10 years ago · 0 comments
8. 8. ▲ More Privacy, Less Latency – Improved Handshakes in TLS v1.3 (timtaubert.de) 81 points · 10 years ago · 18 comments
9. 9. ▲ More Privacy, Less Latency – Improved Handshakes in TLS v1.3 (timtaubert.de) 2 points · 10 years ago · 0 comments
10. 10. ▲ The sad state of server-side TLS session resumption implementations (timtaubert.de) 28 points · 11 years ago · 4 comments