Dating a Cryptologist
− What are you doing for a living?
− I'm a cryptologist.
− What's a cryptologist's job?
− To write papers.
On the Web
- cryptocode (available in texlive)
- tikz (also used by cryptocode), awesome tikz. Hint: use lualatex to draw some diagrams!
- Installing TexLive on ArchLinux / Manjaro
- libsodium (shameless plug: sodium-wapper)
- HACL* (use with KreMLin), explained in The HACL* Library.
- liboqs (website)
Languages and Verification Tools