Login / Signup
Emmanuelle Encrenaz
Publication Activity (10 Years)
Years Active: 1995-2024
Publications (10 Years): 4
Top Topics
Formal Verification
Fault Models
Action Language
Java Card
Top Venues
CoRR
J. Cryptogr. Eng.
HOST
MARS/VPT@ETAPS
</>
Publications
</>