Linard Arquint
- Sound Verification of Security Protocols: From Design to Interoperable Implementations (extended version)
2022/12/08 by Linard Arquint, Arquint, Linard, Felix A. Wolf +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