Cas Cremers
Command-line tool to inspect the difference between (the text in) two PDF files
cascremers
The Scyther Tool for the symbolic analysis of security protocols