Avani Dave

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 7

Top Topics

Trust Relationships

Trusted Platform Module

Security Measures

Remote Attestation

Top Venues

Publications

Avani Dave, Nilanjan Banerjee, Chintan Patel
FVCARE: Formal Verification of Security Primitives in Resilient Embedded SoCs. CoRR (2023)
Avani Dave, Nilanjan Banerjee, Chintan Patel
RARES: Runtime Attack Resilient Embedded System Design Using Verified Proof-of-Execution. CoRR (2023)
Avani Dave, Nilanjan Banerjee, Chintan Patel
SRACARE: Secure Remote Attestation with Code Authentication and Resilience Engine. CoRR (2021)
Avani Dave, Nilanjan Banerjee, Chintan Patel
CARE: Lightweight Attack Resilient Secure Boot Architecturewith Onboard Recovery for RISC-V based SOC. CoRR (2021)
Avani Dave, Monty Wiseman, David Safford
SEDAT: Security Enhanced Device Attestation with TPM2.0. CoRR (2021)
Avani Dave, Nilanjan Banerjee, Chintan Patel
CARE: Lightweight Attack Resilient Secure Boot Architecture with Onboard Recovery for RISC-V based SOC. ISQED (2021)
Avani Dave, Nilanjan Banerjee, Chintan Patel
SRACARE: Secure Remote Attestation with Code Authentication and Resilience Engine. ICESS (2020)