Cryptographic Vulnerability Detection in Code: A Hybrid Syntactic and Semantic Analysis Framework.
Krishna Vellamchety, Maryam Abbasalizadeh, Areej Alnahdi, Pranathi Rayavaram, Vaishali Mohan Pajai, Sashank Narain
Browse the full ICISSP paper archive.