TY  - RPRT
TI  - FVCARE:Formal Verification of Security Primitives in Resilient Embedded SoCs
AU  - Avani Dave
AU  - Nilanjan Banerjee
AU  - Chintan Patel
PY  - 2023
UR  - https://arxiv.org/abs/2304.11489
ID  - 2304.11489
ER  -