Kaiserstraße 21 66386 St. Ingbert (Germany)
CryptoBap: A Binary Analysis Platform for Cryptographic Protocols
ACM Conference on Computer and Communications Security (CCS)
