4 citations · 7 across the 4 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.CR2023★ 3 cited
RARES: Runtime Attack Resilient Embedded System Design Using Verified Proof-of-Execution
Avani Dave Nilanjan Banerjee Chintan Patel
Modern society is getting accustomed to the Internet of Things (IoT) and Cyber-Physical Systems (CPS) for a variety of applications that involves security-critical user data and in…
cs.CR2023★ 4 cited
FVCARE:Formal Verification of Security Primitives in Resilient Embedded SoCs
Avani Dave, Nilanjan Banerjee, Chintan Patel
With the increased utilization, the small embedded and IoT devices have become an attractive target for sophisticated attacks that can exploit the devices security critical informa…