ttaubert's submissions

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

HN For You