3 papers
cs.AR2026
YAVIN: A Unified Architecture for Secure Edge Processing in Memory
Shouzhi Fang, William C. Tegge, Md Omar Faruque +3
Secure, private multi-tenant execution spanning processors, memory, and accelerators remains one of the most significant challenges in modern edge computing systems. Simultaneously…
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…