Cas Cremers

pdfdiff. Command-line tool to inspect the difference between (the text in) two PDF files

scyther. The Scyther Tool for the symbolic analysis of security protocols

draft-cremers-cfrg-randomness-improvements. Makefile

cascremers.github.io. HTML

tamarin-prover. Main repository of the Tamarin prover for security protocol verification.