Hacker News new | ask | show | jobs
user: ttaubert
created: 2012-04-27
karma: 737

submissions:

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