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.CR2025
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…