Sasse, Ralf

1. The EMV Standard: Break, Fix, Verify
   2020/06/15 by David Basin, Basin, David, Ralf Sasse +3 · 4 voices · 1 citation
   Computer Science · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #cs.CR
2. Sound Verification of Security Protocols: From Design to Interoperable Implementations (extended version)
   2022/12/08 by Linard Arquint, Felix A. Wolf, Arquint, Linard +13 · 2 citations
   Computer Science · #Advanced Authentication Protocols Security #Cryptography and Security (cs.CR) #Digital Rights Management and Security #FOS: Computer and information sciences #Programming Languages (cs.PL) #Security and Verification in Computing