corpus.blog
41554 blogs · [ { "id": "01a0821f-1974-7248-86db-1ddab2c018b5", "title": "Bitslicing With Quine-McCluskey", "url": "https://timtaubert.de/blog/2018/08/bitslicing-with-quine-mccluskey/", "published_at": "2018-08-27T13:00:00+00:00" }, { "id": "01a0821f-1974-7248-86db-1ddab37e42bf", "title": "Bitslicing With Karnaugh Maps", "url": "https://timtaubert.de/blog/2018/08/bitslicing-with-karnaugh-maps/", "published_at": "2018-08-18T13:00:00+00:00" }, { "id": "01a0821f-1974-7248-86db-1ddab4390859", "title": "Bitslicing, an Introduction", "url": "https://timtaubert.de/blog/2018/08/bitslicing-an-introduction/", "published_at": "2018-08-15T12:00:00+00:00" }, { "id": "01a0821f-1974-7248-86db-1ddab503fc92", "title": "Verified Binary Multiplication for GHASH", "url": "https://timtaubert.de/blog/2017/06/verified-binary-multiplication-for-ghash/", "published_at": "2017-06-29T17:45:57+00:00" }, { "id": "01a0821f-1974-7248-86db-1ddab57a4d82", "title": "The Future of Session Resumption", "url": "https://timtaubert.de/blog/2017/02/the-future-of-session-resumption/", "published_at": "2017-02-15T17:00:00+00:00" }, { "id": "01a0821f-1974-7248-86db-1ddab58a3792", "title": "Simple Cryptol Specifications", "url": "https://timtaubert.de/blog/2017/02/simple-cryptol-specifications/", "published_at": "2017-02-07T15:00:00+00:00" }, { "id": "01a0821f-1974-7248-86db-1ddab5ade64c", "title": "Equivalence Proofs With SAW", "url": "https://timtaubert.de/blog/2017/01/equivalence-proofs-with-saw/", "published_at": "2017-01-26T15:00:00+00:00" }, { "id": "01a0821f-1974-7248-86db-1ddab613f2cd", "title": "Notes on HACS 2017", "url": "https://timtaubert.de/blog/2017/01/notes-on-hacs-2017/", "published_at": "2017-01-17T14:00:00+00:00" }, { "id": "01a0821f-1974-7248-86db-1ddab63b8fa7", "title": "TLS Version Intolerance", "url": "https://timtaubert.de/blog/2016/09/tls-version-intolerance/", "published_at": "2016-09-30T14:00:00+00:00" }, { "id": "01a0821f-1974-7248-86db-1ddab6c78e4c", "title": "Continuous Integration for NSS", "url": "https://timtaubert.de/blog/2016/08/continuous-integration-for-nss/", "published_at": "2016-08-09T14:00:00+00:00" }, { "id": "01a0821f-1974-7248-86db-1ddab735eb32", "title": "The Evolution of Signatures in TLS", "url": "https://timtaubert.de/blog/2016/07/the-evolution-of-signatures-in-tls/", "published_at": "2016-07-26T14:00:00+00:00" }, { "id": "01a0821f-1974-7248-86db-1ddab79f8ba7", "title": "Six Months as a Security Engineer", "url": "https://timtaubert.de/blog/2016/05/six-months-as-a-security-engineer/", "published_at": "2016-05-13T16:00:00+00:00" }, { "id": "01a0821f-1974-7248-86db-1ddab803f6f3", "title": "A Fast, Constant-time AEAD for TLS", "url": "https://timtaubert.de/blog/2016/04/a-fast-constant-time-aead-for-tls/", "published_at": "2016-04-29T13:00:00+00:00" }, { "id": "01a0821f-1974-7248-86db-1ddab8452b31", "title": "Build Your Own Signal Desktop", "url": "https://timtaubert.de/blog/2016/01/build-your-own-signal-desktop/", "published_at": "2016-01-15T14:00:00+00:00" }, { "id": "01a0821f-1974-7248-86db-1ddab8f64e07", "title": "More Privacy, Less Latency", "url": "https://timtaubert.de/blog/2015/11/more-privacy-less-latency-improved-handshakes-in-tls-13/", "published_at": "2015-11-16T17:00:00+00:00" }, { "id": "01a0821f-1974-7248-86db-1ddab9c3eb9e", "title": "A Firefox OS Password Storage", "url": "https://timtaubert.de/blog/2015/05/implementing-a-pbkdf2-based-password-storage-scheme-for-firefox-os/", "published_at": "2015-05-18T13:00:00+00:00" }, { "id": "01a0821f-1974-7248-86db-1ddaba421830", "title": "Botching Forward Secrecy", "url": "https://timtaubert.de/blog/2014/11/the-sad-state-of-server-side-tls-session-resumption-implementations/", "published_at": "2014-11-17T17:00:00+00:00" }, { "id": "01a0821f-1974-7248-86db-1ddaba7e34cc", "title": "Generating .onion Names for Tor Hidden Services", "url": "https://timtaubert.de/blog/2014/11/using-the-webcrypto-api-to-generate-onion-names-for-tor-hidden-services/", "published_at": "2014-11-02T15:00:00+00:00" }, { "id": "01a0821f-1974-7248-86db-1ddabaee3356", "title": "HTTP Public-Key-Pinning Explained", "url": "https://timtaubert.de/blog/2014/10/http-public-key-pinning-explained/", "published_at": "2014-10-30T13:00:00+00:00" }, { "id": "01a0821f-1974-7248-86db-1ddabafb0c13", "title": "Deploying TLS the Hard Way", "url": "https://timtaubert.de/blog/2014/10/deploying-tls-the-hard-way/", "published_at": "2014-10-27T18:00:00+00:00" } ] posts Claim your blog
Back to Tim Taubert
Blog · corpus.blog/blogs/timtaubert.de/posts

Tim Taubert

timtaubert.de

2018

Bitslicing With Quine-McCluskeyoriginal ↗
27 Aug 2018
Bitslicing With Karnaugh Mapsoriginal ↗
18 Aug 2018
Bitslicing, an Introductionoriginal ↗
15 Aug 2018

2017

Verified Binary Multiplication for GHASHoriginal ↗
29 Jun 2017
The Future of Session Resumptionoriginal ↗
15 Feb 2017
Simple Cryptol Specificationsoriginal ↗
7 Feb 2017
Equivalence Proofs With SAWoriginal ↗
26 Jan 2017
Notes on HACS 2017original ↗
17 Jan 2017

2016

TLS Version Intoleranceoriginal ↗
30 Sept 2016
Continuous Integration for NSSoriginal ↗
9 Aug 2016
The Evolution of Signatures in TLSoriginal ↗
26 Jul 2016
Six Months as a Security Engineeroriginal ↗
13 May 2016
A Fast, Constant-time AEAD for TLSoriginal ↗
29 Apr 2016
Build Your Own Signal Desktoporiginal ↗
15 Jan 2016

2015

More Privacy, Less Latencyoriginal ↗
16 Nov 2015
A Firefox OS Password Storageoriginal ↗
18 May 2015

2014

Botching Forward Secrecyoriginal ↗
17 Nov 2014
Generating .onion Names for Tor Hidden Servicesoriginal ↗
2 Nov 2014
HTTP Public-Key-Pinning Explainedoriginal ↗
30 Oct 2014
Deploying TLS the Hard Wayoriginal ↗
27 Oct 2014