FVCARE:Formal Verification of Security Primitives in Resilient Embedded SoCs

Avani Dave, Nilanjan Banerjee, Chintan Patel

With the increased utilization, the small embedded and IoT devices have become an attractive target for sophisticated attacks that can exploit the devices security critical informa…