Author:
Basin David,Sasse Ralf,Toro-Pozo Jorge
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Tamarin-Based Analysis of Bluetooth Uncovers Two Practical Pairing Confusion Attacks;Computer Security – ESORICS 2023;2024
2. Provably Unlinkable Smart Card-based Payments;Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security;2023-11-15
3. Symbolic protocol verification with dice1;Journal of Computer Security;2023-10-13
4. Formal Methods for Payment Protocols;Proceedings of the ACM Asia Conference on Computer and Communications Security;2023-07-10
5. Subterm-Based Proof Techniques for Improving the Automation and Scope of Security Protocol Analysis;2023 IEEE 36th Computer Security Foundations Symposium (CSF);2023-07