Bitslicing with Quine-McCluskey Data Orthogonalization for Cryptography August 27, 2018 Part one gave a short introduction of bitslicing as a …| timtaubert.de
Bitslicing with Karnaugh maps Data Orthogonalization for Cryptography August 18, 2018 Bitslicing, in cryptography, is the technique of converting …| timtaubert.de
Bitslicing, An Introduction Data Orthogonalization for Cryptography August 15, 2018 Bitslicing (in software) is an implementation strategy enabling …| timtaubert.de
The future of session resumption Forward secure PSK key agreement in TLS 1.3 February 15, 2017 A while ago I wrote about the state of server-side …| timtaubert.de
Simple Cryptol specifications Exploring formal verification (part 2) February 7, 2017 In the previous post I showed how to prove equivalence of two …| timtaubert.de
Equivalence proofs with SAW Exploring formal verification (part 1) January 26, 2017 This is the first of a small series of posts that will scratch …| timtaubert.de
Notes on HACS 2017 The High Assurance Crypto Software workshop January 17, 2017 Real World Crypto is probably one of my favorite conferences. It& …| timtaubert.de
TLS version intolerance Working around bugs in legacy TLS stacks September 30, 2016 A few weeks ago I listened to Hanno Böck talk about TLS version …| timtaubert.de
Continuous Integration for NSS Automating builds and tests with Mozilla's Taskcluster framework August 9, 2016 The following image shows our …| timtaubert.de
The Evolution of Signatures in TLS Signature algorithms and schemes in TLS 1.0 - 1.3 July 26, 2016 This post will take a look at the evolution of …| timtaubert.de
Six months as a Security Engineer My work on Mozilla's Security Engineering team May 13, 2016 It’s been a little more than six months since I …| timtaubert.de
A fast, constant-time AEAD for TLS ChaCha20/Poly1305 cipher suites in Firefox 47 April 29, 2016 The only TLS v1.2+ cipher suites with a dedicated …| timtaubert.de
Build your own Signal Desktop Packaging the Signal Private Messenger and NW.js into a standalone app January 15, 2016 The Signal Private Messenger …| timtaubert.de
More Privacy, Less Latency Improved Handshakes in TLS version 1.3 November 16, 2015 Please note that this post is about draft-11 of the TLS v1.3 …| timtaubert.de
A Firefox OS password storage PBKDF2 and the WebCrypto API in the wild May 18, 2015 My esteemed colleague Frederik Braun recently took on to rewrite …| timtaubert.de
Botching Forward Secrecy The sad state of server-side TLS Session Resumption implementations November 17, 2014 After you finished reading this one, …| timtaubert.de
Generating .onion names for Tor hidden services Tinkering with the WebCrypto API November 2, 2014 You have probably read that Facebook unveiled its …| timtaubert.de
HTTP Public-Key-Pinning explained The what, why, and how of RFC 7469 October 30, 2014 In my last post “Deploying TLS the hard way” I …| timtaubert.de
Deploying TLS the hard way Configuring HTTPS for your domain(s) October 27, 2014 How does TLS work? The certificate (Perfect) Forward Secrecy …| timtaubert.de
Verified binary multiplication for GHASH Exploring formal verification (part 3) June 29, 2017 Previously I introduced some very basic Cryptol and …| timtaubert.de