Metadata only
Date
2019-11-11Type
- Conference Paper
Publication status
publishedExternal links
Book title
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications SecurityPages / Article No.
Publisher
ACMEvent
Subject
Security protocols; Formal verification; Collusion; Distance bounding; Terrorist fraudOrganisational unit
03634 - Basin, David / Basin, David
More
Show all metadata