Maria Christofi, Trusted Labs Research Engineer on Formal Methods & Cryptography, will present:
“Using Linear Codes as a Fault Countermeasure for Nonlinear Operations: Applications to AES and Formal Verification”
The paper was co-written with Gemalto.
PROOFS is a one-day workshop on security proofs for embedded systems. It aims to promote methodologies that increase confidence in the security of embedded systems, and to bridge the gap between the topics of concrete, implementation-level security and formal methods.
The workshop will take place in Saint Malo, France, on September 17th, 2015.