Bitslicing S-boxes with the Quine-McCluskey algorithm t timtaubert.de 2 ttaubert 8 years ago 0 comments
Simple Cryptol specifications – Exploring formal verification (part 2) t timtaubert.de 2 ttaubert 9 years ago 0 comments
Equivalence proofs with SAW – Exploring formal verification t timtaubert.de 1 ttaubert 9 years ago 0 comments
TLS version intolerance – Working around bugs in legacy TLS stacks t timtaubert.de 2 ttaubert 10 years ago 0 comments
More Privacy, Less Latency – Improved Handshakes in TLS v1.3 t timtaubert.de 81 ttaubert 11 years ago 18 comments
More Privacy, Less Latency – Improved Handshakes in TLS v1.3 t timtaubert.de 2 ttaubert 11 years ago 0 comments
The sad state of server-side TLS session resumption implementations t timtaubert.de 28 ttaubert 12 years ago 4 comments
Using the WebCrypto API to generate .onion names for Tor hidden services t timtaubert.de 7 ttaubert 12 years ago 1 comments
Our dog is a rescue and was neutered at a very young age before he came to us. His development was rather delayed and he's definitely behind. I really can't imagine doing this just because it makes your life "easier". I would never do it without a good reason.