Author:
Boureanu Ioana,Vaudenay Serge
Publisher
Springer International Publishing
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Mechanised Models and Proofs for Distance-Bounding;2021 IEEE 34th Computer Security Foundations Symposium (CSF);2021-06
2. Short Paper: Terrorist Fraud in Distance Bounding: Getting Around the Models;Financial Cryptography and Data Security;2021
3. Secure Contactless Payment;Information Security and Privacy;2018
4. Formal Analysis of Distance Bounding with Secure Hardware;Applied Cryptography and Network Security;2018
5. Breaking and fixing the HB+DB protocol;Proceedings of the 10th ACM Conference on Security and Privacy in Wireless and Mobile Networks;2017-07-18