Published and related artifacts
- CryptoBap: A Binary Analysis Platform for Cryptographic Protocols — CCS 2023
DOI: 10.1145/3576915.3623090
GitHub: CCS 2023 artifact - Symbolic Parallel Composition for Multi-language Protocol Verification — CSF 2025
IEEE: IEEE Xplore
GitHub: CSF 2025 artifact - Automated Side-Channel Analysis of Cryptographic Protocol Implementations — CCS 2026 (preprint)
Preprint: arXiv:2511.11385
GitHub: CCS 2026 artifact - Latest GitHub Artifact: CryptoBAP