| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2025 | — | conf |
Lova: A Novel Framework for Verifying Mathematical Proofs with Incrementally Verifiable Computation.
SAT-CPS@CODASPY
|
| 2025 | — | conf |
ASIACRYPT (5)
|
| 2025 | J | jnl |
IACR Cryptol. ePrint Arch.
|
| 2024 | J | jnl |
CoRR
|
| 2024 | J | jnl |
CoRR
|
| 2024 | J | jnl |
Lova: A Novel Framework for Verifying Mathematical Proofs with Incrementally Verifiable Computation.
IACR Cryptol. ePrint Arch.
|
| 2024 | J | jnl |
CoRR
|
| 2024 | B | conf |
ISIT
|
| 2024 | J | jnl |
CoRR
|
| 2023 | B | conf |
IJCNN
|
| 2022 | C | conf |
ICMLA
|