6 citations · 13 across the 5 of their papers we have counts for
5 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…
SEDAT:Security Enhanced Device Attestation with TPM2.0
Avani Dave, Monty Wiseman, David Safford
Remote attestation is one of the ways to verify the state of an untrusted device. Earlier research has attempted remote verification of a devices' state using hardware, software, o…
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…