Automated Symbolic Proofs of Observational Equivalence
Metadata only
Date
2015Type
- Conference Paper
Publication status
publishedExternal links
Book title
Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security (CCS 2015)Pages / Article No.
Publisher
ACMEvent
Subject
Protocol verification; Observational equivalence; Symbolic modelOrganisational unit
03634 - Basin, David / Basin, David
More
Show all metadata