research
∙
04/22/2023
FVCARE:Formal Verification of Security Primitives in Resilient Embedded SoCs
With the increased utilization, the small embedded and IoT devices have ...
share
research
∙
01/16/2021
SEDAT:Security Enhanced Device Attestation with TPM2.0
Remote attestation is one of the ways to verify the state of an untruste...
research
∙
01/15/2021
CARE: Lightweight Attack Resilient Secure Boot Architecturewith Onboard Recovery for RISC-V based SOC
Recent technological advancements have proliferated the use of small emb...
research
∙
01/15/2021