2 papers
cs.CR2026
Evaluating the Effectiveness of LLMs in Aiding Compliance Testing of PKCS#1-v1.5
Polina Kozyreva, Endadul Hoque
Testing implementations of binary protocols for specification compliance requires inputs that satisfy both structural and semantic constraints. Purely random generation and primiti…
cs.CR2024
FuzzEval: Assessing Fuzzers on Generating Context-Sensitive Inputs
S Mahmudul Hasan, Polina Kozyreva, Endadul Hoque
Cryptographic protocols form the backbone of modern security systems, yet vulnerabilities persist within their implementations. Traditional testing techniques, including fuzzing, h…