Sign in
Hyeonbum Lee
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 6
Top Topics
Coloured Petri Nets
Theorem Proving
Efficient Algorithms To Compute
Argumentation Schemes
Top Venues
IACR Cryptol. ePrint Arch.
ASIACRYPT (2)
IEEE Trans. Inf. Forensics Secur.
IWSEC
</>
Publications
</>
Hyeonbum Lee
,
Jae Hong Seo
TENET: Sublogarithmic Proof and Sublinear Verifier Inner Product Argument without a Trusted Setup.
IWSEC
(2023)
Sungwook Kim
,
Gwangwoon Lee
,
Hyeonbum Lee
,
Jae Hong Seo
Leopard: Sublinear Verifier Inner Product Argument Under Discrete Logarithm Assumption.
IEEE Trans. Inf. Forensics Secur.
18 (2023)
Hyeonbum Lee
,
Jae Hong Seo
TENET : Sublogarithmic Proof, Sublinear Verifier Inner Product Argument without a Trusted Setup.
IACR Cryptol. ePrint Arch.
2023 (2023)
Sungwook Kim
,
Hyeonbum Lee
,
Jae Hong Seo
Efficient Zero-Knowledge Arguments in Discrete Logarithm Setting: Sublogarithmic Proof or Sublinear Verifier.
ASIACRYPT (2)
(2022)
Hyeonbum Lee
,
Jae Hong Seo
Efficient Zero-Knowledge Argument in Discrete Logarithm Setting: Sublogarithmic Proof or Sublinear Verifier.
IACR Cryptol. ePrint Arch.
2021 (2021)
Chanyang Ju
,
Hyeonbum Lee
,
HeeWon Chung
,
Jae Hong Seo
,
Sungwook Kim
Efficient Sum-Check Protocol for Convolution.
IEEE Access
9 (2021)