Verificación Formal de diseños electrónicos aplicada a la Seguridad Hardware

La Seguridad Hardware es cada vez más crítica debido al aumento de la complejidad de los sistemas electrónicos digitales, que deben resistir ataques físicos como la Inyección de Fallos o el Canal Lateral. Los flujos de desarrollo deben ser adaptados para hacer sistemas robustos desde los cimientos. Para ello, hay que implementar técnicas de validación de los diseños de circuitos para ir comprobando que se cumplen ciertos criterios de seguridad. Una prometedora técnica para fases iniciales es la Verificación Formal.