Automated Symbolic Proofs of Observational Equivalence

Thumbnail
Metadata only
Author
Basin, David
Dreier, Jannik
Sasse, Ralf
Date
2015
Type
  • Conference Paper
Publication status
published
External links
Search via SFX
Book title
Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security (CCS 2015)
Pages / Article No.
1144 - 1155
Publisher
ACM
Event
22nd ACM SIGSAC Conference on Computer and Communications Security (CCS 2015), Denver, CO, USA, October 13-15, 2015
Subject
Protocol verification; Observational equivalence; Symbolic model
Organisational unit
03634 - Basin, David  
More
Show all metadata
Citations
Cited 18 times in Scopus
ETH Bibliography
yes
Altmetrics