Login / Signup
Karine Heydemann
ORCID
Publication Activity (10 Years)
Years Active: 2005-2024
Publications (10 Years): 39
Top Topics
Embedded Systems
Formal Verification
Smart Card
Countermeasures
Top Venues
IACR Cryptol. ePrint Arch.
CoRR
J. Cryptogr. Eng.
COSADE
</>
Publications
</>