Login / Signup
Sabine Azzi
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Formal Verification
Simple Linear
Top Venues
J. Cryptogr. Eng.
</>
Publications
</>
Sabine Azzi
,
Bruno Barras
,
Maria Christofi
,
David Vigilant
Using linear codes as a fault countermeasure for nonlinear operations: application to AES and formal verification.
J. Cryptogr. Eng.
7 (1) (2017)