ttaubert | Dark Hacker News

user:	ttaubert
created:	April 27, 2012
karma:	737

1.	Bitslicing S-boxes with the Quine-McCluskey algorithm(timtaubert.de) 2 points by ttaubert 7 years ago \| 0 comments
2.	Verified cryptography for Firefox 57(blog.mozilla.org) 155 points by ttaubert 8 years ago \| 14 comments
3.	Verified binary multiplication for GHASH(timtaubert.de) 2 points by ttaubert 8 years ago \| 0 comments
4.	Simple Cryptol specifications – Exploring formal verification (part 2)(timtaubert.de) 2 points by ttaubert 9 years ago \| 0 comments
5.	Equivalence proofs with SAW – Exploring formal verification(timtaubert.de) 1 points by ttaubert 9 years ago \| 0 comments
6.	TLS version intolerance – Working around bugs in legacy TLS stacks(timtaubert.de) 2 points by ttaubert 9 years ago \| 0 comments
7.	The Evolution of Signatures in TLS(timtaubert.de) 1 points by ttaubert 9 years ago \| 0 comments
8.	More Privacy, Less Latency – Improved Handshakes in TLS v1.3(timtaubert.de) 81 points by ttaubert 10 years ago \| 18 comments
9.	More Privacy, Less Latency – Improved Handshakes in TLS v1.3(timtaubert.de) 2 points by ttaubert 10 years ago \| 0 comments
10.	The sad state of server-side TLS session resumption implementations(timtaubert.de) 28 points by ttaubert 11 years ago \| 4 comments
11.	Using the WebCrypto API to generate .onion names for Tor hidden services(timtaubert.de) 7 points by ttaubert 11 years ago \| 1 comment
12.	HTTP Public Key Pinning Explained(timtaubert.de) 1 points by ttaubert 11 years ago \| 0 comments
13.	Deploying TLS the hard way(timtaubert.de) 11 points by ttaubert 11 years ago \| 1 comment
14.	German freemail sites trick Firefox and Chrome users into removing AdBlock(gebloggendings.wordpress.com) 191 points by ttaubert 12 years ago \| 140 comments
15.	Dear Sophie - Motivational letters for Sophie from female role models(github.com) 1 points by ttaubert 13 years ago \| 0 comments
16.	13 years ago \| discuss
17.	A brief note on pipelines for Firefox (bitsup.blogspot.de) 2 points by ttaubert 13 years ago \| 0 comments
18.	Building an EyeToy-like mini-game with getUserMedia()(timtaubert.de) 2 points by ttaubert 13 years ago \| 0 comments
19.	Building a live green screen with getUserMedia() and MediaStreams(timtaubert.de) 2 points by ttaubert 13 years ago \| 0 comments
20.	Full quote of what Mark Zuckerberg actually said about HTML5(blog.tobie.me) 304 points by ttaubert 13 years ago \| 113 comments
21.	13 years ago \| discuss