Publication status
publishedExternal links
Journal / series
Proceedings of the ACM Conference on Computer and Communications Security (CCS 2014)Pages / Article No.
Publisher
ACMEvent
Subject
Origin authenticity; Path authenticity; Formal methods; Mechanized proofsOrganisational unit
03975 - Perrig, Adrian / Perrig, Adrian
More
Show all metadata
ETH Bibliography
yes
Altmetrics