Pattern-Based Abstraction for Verifying Secrecy in Protocols.

Liana Bozga, Yassine Lakhnech, Michal Prin

Browse the full TACAS paper archive.