Avani Dave

According to our database, Avani Dave authored at least 6 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

RARES: Runtime Attack Resilient Embedded System Design Using Verified Proof-of-Execution.

Avani Dave, Nilanjan Banerjee, Chintan Patel

CoRR, 2023

FVCARE: Formal Verification of Security Primitives in Resilient Embedded SoCs.

Avani Dave, Nilanjan Banerjee, Chintan Patel

CoRR, 2023

2021

SEDAT: Security Enhanced Device Attestation with TPM2.0.

Avani Dave, Monty Wiseman, David Safford

CoRR, 2021

CARE: Lightweight Attack Resilient Secure Boot Architecturewith Onboard Recovery for RISC-V based SOC.

Avani Dave, Nilanjan Banerjee, Chintan Patel

CoRR, 2021

CARE: Lightweight Attack Resilient Secure Boot Architecture with Onboard Recovery for RISC-V based SOC.

Avani Dave, Nilanjan Banerjee, Chintan Patel

Proceedings of the 22nd International Symposium on Quality Electronic Design, 2021

2020

SRACARE: Secure Remote Attestation with Code Authentication and Resilience Engine.

Avani Dave, Nilanjan Banerjee, Chintan Patel

Proceedings of the 2020 IEEE International Conference on Embedded Software and Systems, 2020