Login / Signup
Shai Levin
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 3
Top Topics
Wide Range
Data Mining Techniques
Knowledge Extraction
Formal Proofs
Top Venues
IACR Cryptol. ePrint Arch.
ACNS
</>
Publications
</>
Kelong Cong
,
Yi-Fu Lai
,
Shai Levin
Efficient Isogeny Proofs Using Generic Techniques.
IACR Cryptol. ePrint Arch.
2023 (2023)
Sofía Celi
,
Shai Levin
,
Joe Rowell
CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness.
IACR Cryptol. ePrint Arch.
2023 (2023)
Kelong Cong
,
Yi-Fu Lai
,
Shai Levin
Efficient Isogeny Proofs Using Generic Techniques.
ACNS
(2023)