| 1. | | Bitslicing S-boxes with the Quine-McCluskey algorithm (timtaubert.de) |
| 2 points by ttaubert on Aug 28, 2018 | past |
|
| 2. | | Verified cryptography for Firefox 57 (blog.mozilla.org) |
| 155 points by ttaubert on Sept 13, 2017 | past | 14 comments |
|
| 3. | | Verified binary multiplication for GHASH (timtaubert.de) |
| 2 points by ttaubert on June 29, 2017 | past |
|
| 4. | | Simple Cryptol specifications – Exploring formal verification (part 2) (timtaubert.de) |
| 2 points by ttaubert on Feb 7, 2017 | past |
|
| 5. | | Equivalence proofs with SAW – Exploring formal verification (timtaubert.de) |
| 1 point by ttaubert on Jan 26, 2017 | past |
|
| 6. | | TLS version intolerance – Working around bugs in legacy TLS stacks (timtaubert.de) |
| 2 points by ttaubert on Sept 30, 2016 | past |
|
| 7. | | The Evolution of Signatures in TLS (timtaubert.de) |
| 1 point by ttaubert on July 26, 2016 | past |
|
| 8. | | More Privacy, Less Latency – Improved Handshakes in TLS v1.3 (timtaubert.de) |
| 81 points by ttaubert on Nov 17, 2015 | past | 18 comments |
|
| 9. | | More Privacy, Less Latency – Improved Handshakes in TLS v1.3 (timtaubert.de) |
| 2 points by ttaubert on Nov 16, 2015 | past |
|
| 10. | | The sad state of server-side TLS session resumption implementations (timtaubert.de) |
| 28 points by ttaubert on Nov 17, 2014 | past | 4 comments |
|
| 11. | | Using the WebCrypto API to generate .onion names for Tor hidden services (timtaubert.de) |
| 7 points by ttaubert on Nov 3, 2014 | past | 1 comment |
|
| 12. | | HTTP Public Key Pinning Explained (timtaubert.de) |
| 1 point by ttaubert on Oct 30, 2014 | past |
|
| 13. | | Deploying TLS the hard way (timtaubert.de) |
| 11 points by ttaubert on Oct 27, 2014 | past | 1 comment |
|
| 14. | | German freemail sites trick Firefox and Chrome users into removing AdBlock (gebloggendings.wordpress.com) |
| 191 points by ttaubert on Feb 27, 2014 | past | 140 comments |
|
| 15. | | Dear Sophie - Motivational letters for Sophie from female role models (github.com/dvberkel) |
| 1 point by ttaubert on Dec 17, 2012 | past |
|
| 16. | | A brief note on pipelines for Firefox (bitsup.blogspot.de) |
| 2 points by ttaubert on Nov 14, 2012 | past |
|
| 17. | | Building an EyeToy-like mini-game with getUserMedia() (timtaubert.de) |
| 2 points by ttaubert on Oct 18, 2012 | past |
|
| 18. | | Building a live green screen with getUserMedia() and MediaStreams (timtaubert.de) |
| 2 points by ttaubert on Oct 17, 2012 | past |
|
| 19. | | Full quote of what Mark Zuckerberg actually said about HTML5 (tobie.me) |
| 304 points by ttaubert on Sept 12, 2012 | past | 113 comments |
|
| 20. | | Ghostery - A Web tracking blocker that actually helps the ad industry (venturebeat.com) |
| 4 points by ttaubert on July 31, 2012 | past | 1 comment |
|
| 21. | | Mozilla And SoundCloud In Berlin Startup Hub (forbes.com/sites/natalierobehmed) |
| 1 point by ttaubert on July 30, 2012 | past |
|
| 22. | | Microsoft Faces Fresh EU Probe Over Web-Browser Choice (bloomberg.com) |
| 3 points by ttaubert on July 17, 2012 | past | 1 comment |
|
| 23. | | Apologies to people hurt by my post (evilbrainjono.net) |
| 1 point by ttaubert on July 13, 2012 | past |
|
| 24. | | About the future of Thunderbird (blog.mozilla.org) |
| 115 points by ttaubert on July 9, 2012 | past | 77 comments |
|
