A decision procedure for the verification of security protocols with explicit destructors.

Stphanie Delaune, Florent Jacquemard

Browse the full CCS paper archive.