Publications

An Automated Synthesis Framework for Benchmarking Quantum Resource Costs of Symmetric-Key Cryptography

LLM-Based Detection Framework of Vulnerabilities in Stripped Binaries