C. Loiacono

Formal Verification of Embedded Systems for Remote Attestation

2015 · PORTO Publications Open Repository TOrino (Politecnico di Torino)

Embedded systems are increasingly pervasive, interdependent and in many cases critical to our every day life and safety. As such devices are more and more subject to attacks, new protection mechanisms are needed to provide …