academia vs business

Dating a Cryptologist

− What are you doing for a living?
− I'm a cryptologist.
− What's a cryptologist's job?
− To write papers.

Typesetting Cryptography

On the Web

On papers

Programming Cryptography

Crypto Libraries


Languages and Verification Tools

Other Libraries and Toolkits

Reference Manuals


  • [DLRA12] Will Dietz, Peng Li, John Regehr, Vikram Adve: Understanding Interger Overflow in C/C++. In: Proceedings of the 34th International Conference on Software Engineering (ICSE), Zürich, Switzerland, June 2012. (full pdf)
  • [Schmitz17] Malte Schmitz: Zeichnen in LaTeX mit TikZ. Zeichnungen und Animationen direkt in LaTeX setzen. 2017. (website, video, slides (pdf, github)).
  • [Weitz17] Edmund Weitz: Grafik in LaTeX (PGF/TikZ). (youtube playist)