user: ttaubert

737 karma | created 14 years ago

recent submissions

(no title)

5 years ago|discuss

Bitslicing S-boxes with the Quine-McCluskey algorithm (timtaubert.de)

2 pts|7 years ago|discuss

Verified cryptography for Firefox 57 (blog.mozilla.org)

155 pts|8 years ago|14 comments

Verified binary multiplication for GHASH (timtaubert.de)

2 pts|8 years ago|discuss

Simple Cryptol specifications – Exploring formal verification (part 2) (timtaubert.de)

2 pts|9 years ago|discuss

Equivalence proofs with SAW – Exploring formal verification (timtaubert.de)

1 pts|9 years ago|discuss

(no title)

9 years ago|discuss

TLS version intolerance – Working around bugs in legacy TLS stacks (timtaubert.de)

2 pts|9 years ago|discuss

The Evolution of Signatures in TLS (timtaubert.de)

1 pts|9 years ago|discuss

More Privacy, Less Latency – Improved Handshakes in TLS v1.3 (timtaubert.de)

81 pts|10 years ago|18 comments

More Privacy, Less Latency – Improved Handshakes in TLS v1.3 (timtaubert.de)

2 pts|10 years ago|discuss

(no title)

11 years ago|discuss

The sad state of server-side TLS session resumption implementations (timtaubert.de)

28 pts|11 years ago|4 comments

Using the WebCrypto API to generate .onion names for Tor hidden services (timtaubert.de)

7 pts|11 years ago|1 comment

(no title)

11 years ago|discuss

HTTP Public Key Pinning Explained (timtaubert.de)

1 pts|11 years ago|discuss

Deploying TLS the hard way (timtaubert.de)

11 pts|11 years ago|1 comment

(no title)

11 years ago|discuss

German freemail sites trick Firefox and Chrome users into removing AdBlock (gebloggendings.wordpress.com)

191 pts|12 years ago|140 comments

(no title)

13 years ago|discuss