1Bitslicing S-boxes with the Quine-McCluskey algorithm (opens in new tab)(timtaubert.de)2ttaubert7y ago0
4Simple Cryptol specifications – Exploring formal verification (part 2) (opens in new tab)(timtaubert.de)2ttaubert9y ago0
5Equivalence proofs with SAW – Exploring formal verification (opens in new tab)(timtaubert.de)1ttaubert9y ago0
6TLS version intolerance – Working around bugs in legacy TLS stacks (opens in new tab)(timtaubert.de)2ttaubert9y ago0
8More Privacy, Less Latency – Improved Handshakes in TLS v1.3 (opens in new tab)(timtaubert.de)81ttaubert10y ago18
9More Privacy, Less Latency – Improved Handshakes in TLS v1.3 (opens in new tab)(timtaubert.de)2ttaubert10y ago0
10The sad state of server-side TLS session resumption implementations (opens in new tab)(timtaubert.de)28ttaubert11y ago4
11Using the WebCrypto API to generate .onion names for Tor hidden services (opens in new tab)(timtaubert.de)7ttaubert11y ago1
14German freemail sites trick Firefox and Chrome users into removing AdBlock (opens in new tab)(gebloggendings.wordpress.com)191ttaubert12y ago140
15Dear Sophie - Motivational letters for Sophie from female role models (opens in new tab)(github.com)1ttaubert13y ago0
