User-Guided Verification of Security Protocols via Sound Animation.

Kangfeng Ye, Roberto Metere, Poonam Yadav

Browse the full SEFM paper archive.