Speaker: Francesco Regazzoni
Title: Towards the Automatic Application and Verification of Countermeasures Against Physical Attacks
Date: Tuesday, March 3, 2015
Location: Donald Bren Hall 3011
Host: Nikil Dutt & Rosario Cammarota
Physical attacks exploit the physical weaknesses of cryptographic devices to reveal the secret information stored on them. Countermeasures against these attacks are often considered only in the later stages of the full design flow, and applied manually by designers with strong security expertise. This approach, however, negatively affects the robustness, the cost, and the production time of secure devices.
In view of this increasingly relevant problem, it is crucial to address the design challenges associated with the proliferation of physical attacks, developing a methodology to automate the design and the verification of secure embedded systems.
This talk focuses on one type of physical attacks, the differential power analysis (DPA), and presents the design and the implementation of the infrastructure needed to enable the automatic application and verification of DPA countermeasures.