Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Fast base64 encoding and decoding. Parent comment
https://galois.com/blog/2013/09/high-assurance-base64/
Also, anyone wanting constant time implementation might just run a verified implementation through something like FaCT or Jasmin:
https://cseweb.ucsd.edu/~dstefan/pubs/cauligi:2017:fact.pdf
https://acmccs.github.io/papers/p1807-almeidaA.pdf
There are no comments on this comment yet.
https://galois.com/blog/2013/09/high-assurance-base64/
Also, anyone wanting constant time implementation might just run a verified implementation through something like FaCT or Jasmin:
https://cseweb.ucsd.edu/~dstefan/pubs/cauligi:2017:fact.pdf
https://acmccs.github.io/papers/p1807-almeidaA.pdf