4 papers
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…
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…
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…
MAVERICK: An App-independent and Platform-agnostic Approach to Enforce Policies in IoT Systems at Runtime
M. Hammad Mazhar, Li Li, Endadul Hoque +1
Many solutions have been proposed to curb unexpected behavior of automation apps installed on programmable IoT platforms by enforcing safety policies at runtime. However, all prior…