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