@misc{indiciaef4afa9779287,
  title = {FVCARE:Formal Verification of Security Primitives in Resilient Embedded SoCs},
  author = {Avani Dave and Nilanjan Banerjee and Chintan Patel},
  year = {2023},
  url = {https://arxiv.org/abs/2304.11489},
  note = {Source identifier: 2304.11489}
}