Login / Signup
Letitia Li
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 2
Top Topics
Distortion Correction
Formal Proof
Theorem Prover
Special Issue
Top Venues
J. Cryptogr. Eng.
</>
Publications
</>
Karine Heydemann
,
Letitia Li
Correction to: Editorial about PROOFS 2019.
J. Cryptogr. Eng.
11 (2) (2021)
Karine Heydemann
,
Letitia Li
Editorial about PROOFS 2019.
J. Cryptogr. Eng.
11 (2) (2021)