4 papers · 1 filter
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…
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…
CARE: Lightweight Attack Resilient Secure Boot Architecturewith Onboard Recovery for RISC-V based SOC
Avani Dave, Nilanjan Banerjee, Chintan Patel
Recent technological advancements have proliferated the use of small embedded devices for collecting, processing, and transferring the security-critical information. The Internet o…
SRACARE: Secure Remote Attestation with Code Authentication and Resilience Engine
Avani Dave, Nilanjan Banerjee, Chintan Patel
Recent technological advancements have enabled proliferated use of small embedded and IoT devices for collecting, processing, and transferring the security-critical information and…