Skip to content

Abstracting Cryptographic Protocols with Tree Automata.

David Monniaux

VenueBSAS
Year1999
ProceedingsSAS

Browse the full SAS paper archive.