Showing cs.CRShow all
2 papers · 1 filter
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…
cs.CR2023
VetIoT: On Vetting IoT Defenses Enforcing Policies at Runtime
Akib Jawad Nafis, S Mahmudul Hasan, Omar Chowdhury +1
Smart homes, powered by programmable IoT platforms, often face safety and security issues. A class of defense solutions dynamically enforces policies that capture the expected beha…