Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols.

Giorgio Delzanno, Sandro Etalle

Browse the full LOPSTR paper archive.