"CryptoBap: A Binary Analysis Platform for Cryptographic Protocols."

Faezeh Nasrabadi, Robert Künnemann, Hamed Nemati (2023)

Details and statistics

DOI: 10.1145/3576915.3623090

access: closed

type: Conference or Workshop Paper

metadata version: 2023-11-28

a service of  Schloss Dagstuhl - Leibniz Center for Informatics