1. David Basin , Cas Cremers , and Catherine Meadows . 2018. Model Checking Security Protocols . Springer , Chapter 24, 727–762. David Basin, Cas Cremers, and Catherine Meadows. 2018. Model Checking Security Protocols. Springer, Chapter 24, 727–762.
2. Improving the Security of Cryptographic Protocol Standards
3. David A. Basin , Ralf Sasse , and Jorge Toro-Pozo . 2021 . Card Brand Mixup Attack: Bypassing the PIN in non-Visa Cards by Using Them for Visa Transactions . In 30th USENIX Security Symposium, USENIX Security 2021 , August 11-13, 2021, Michael Bailey and Rachel Greenstadt (Eds.). USENIX Association, 179–194. https://www.usenix.org/conference/usenixsecurity21/presentation/basin David A. Basin, Ralf Sasse, and Jorge Toro-Pozo. 2021. Card Brand Mixup Attack: Bypassing the PIN in non-Visa Cards by Using Them for Visa Transactions. In 30th USENIX Security Symposium, USENIX Security 2021, August 11-13, 2021, Michael Bailey and Rachel Greenstadt (Eds.). USENIX Association, 179–194. https://www.usenix.org/conference/usenixsecurity21/presentation/basin
4. The EMV Standard: Break, Fix, Verify
5. Symbolically Analyzing Security Protocols using TAMARIN;David Basin Jannik Dreier;SIGLOG News,2017