Compiling and Verifying Security Protocols.

Florent Jacquemard, Michal Rusinowitch, Laurent Vigneron

Browse the full LPAR paper archive.