EDBT 2026 Demo / reviewers in the wild / expert
Michal Zajac 0001
dblp:02/6977
· DBLP profile ↗
13ranked-venue papers
0as first author
6since 2021 · last 2025
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Security and privacy · 13 · 6 since 2021Theory of computation · 1 · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | On Soundness Notions for Interactive Oracle Proofs
Alexander R. Block, Albert Garreta, Pratyush Ranjan Tiwari, Michal Zajac 0001 |
J. Cryptol. | 4 |
| 2023 | Fiat-Shamir Security of FRI and Related SNARKs
Alexander R. Block, Albert Garreta, Jonathan Katz, Justin Thaler, Pratyush Ranjan Tiwari, Michal Zajac 0001 |
ASIACRYPT (2) | 6 |
| 2023 | From Polynomial IOP and Commitments to Non-malleable zkSNARKs
Antonio Faonio, Dario Fiore 0001, Markulf Kohlweiss, Luigi Russo 0001, Michal Zajac 0001 |
TCC (3) | 5 |
| 2022 | Counting Vampires: From Univariate Sumcheck to Updatable ZK-SNARK
Helger Lipmaa, Janno Siim, Michal Zajac 0001 |
ASIACRYPT (2) | 3 |
| 2021 | Verifiably-Extractable OWFs and Their Applications to Subversion Zero-Knowledge
Prastudy Fauzi, Helger Lipmaa, Janno Siim, Michal Zajac 0001, Arne Tobias Ødegaard |
ASIACRYPT (4) | 4 |
| 2021 | On Subversion-Resistant SNARKs
Behzad Abdolmaleki, Helger Lipmaa, Janno Siim, Michal Zajac 0001 |
J. Cryptol. | 4 |
| 2020 | A Non-interactive Shuffle Argument with Low Trust Assumptions
Antonis Aggelakis, Prastudy Fauzi, Georgios Korfiatis, Panagiotis Louridas, Foteinos Mergoupis-Anagnou, Janno Siim, Michal Zajac 0001 |
CT-RSA | 7 |
| 2019 | DL-Extractable UC-Commitment Schemes
Behzad Abdolmaleki, Karim Baghery, Helger Lipmaa, Janno Siim, Michal Zajac 0001 |
ACNS | 5 |
| 2017 | A Subversion-Resistant SNARK
Behzad Abdolmaleki, Karim Baghery, Helger Lipmaa, Michal Zajac 0001 |
ASIACRYPT (3) | 4 |
| 2017 | An Efficient Pairing-Based Shuffle Argument
Prastudy Fauzi, Helger Lipmaa, Janno Siim, Michal Zajac 0001 |
ASIACRYPT (2) | 4 |
| 2016 | A Shuffle Argument Secure in the Generic Model
Prastudy Fauzi, Helger Lipmaa, Michal Zajac 0001 |
ASIACRYPT (2) | 3 |
| 2016 | Bounded-Retrieval Model with Keys Derived from Private Data
Konrad Durnoga, Stefan Dziembowski, Tomasz Kazana, Michal Zajac 0001, Maciej Zdanowicz |
Inscrypt | 4 |
| 2013 | One-Time Programs with Limited Memory
Konrad Durnoga, Stefan Dziembowski, Tomasz Kazana, Michal Zajac 0001 |
Inscrypt | 4 |