Michal Zajac

35 papers B 2Misc 3Journal 21Unranked 9
YearRankTypeTitle / Venue / Authors
2025 J jnl
On Soundness Notions for Interactive Oracle Proofs.
J. Cryptol.
Alexander R. Block, Albert Garreta, Pratyush Ranjan Tiwari, Michal Zajac
2024 J jnl
On amortization techniques for FRI-based SNARKs.
IACR Cryptol. ePrint Arch.
Albert Garreta, Hayk Hovhanissyan, Aram Jivanyan, Ignacio Manzur, Isaac Villalobos, Michal Zajac
2023 J jnl
COMMON: Order Book with Privacy.
IACR Cryptol. ePrint Arch.
Albert Garreta, Adam Gagol, Aikaterini-Panagiota Stouka, Damian Straszak, Michal Zajac
2023 — conf
Fiat-Shamir Security of FRI and Related SNARKs.
ASIACRYPT (2)
Alexander R. Block, Albert Garreta, Jonathan Katz, Justin Thaler, Pratyush Ranjan Tiwari, Michal Zajac
2023 J jnl
Fiat-Shamir Security of FRI and Related SNARKs.
IACR Cryptol. ePrint Arch.
Alexander R. Block, Albert Garreta, Jonathan Katz, Justin Thaler, Pratyush Ranjan Tiwari, Michal Zajac
2023 — conf
From Polynomial IOP and Commitments to Non-malleable zkSNARKs.
TCC (3)
Antonio Faonio, Dario Fiore, Markulf Kohlweiss, Luigi Russo, Michal Zajac
2023 J jnl
From Polynomial IOP and Commitments to Non-malleable zkSNARKs.
IACR Cryptol. ePrint Arch.
Antonio Faonio, Dario Fiore, Markulf Kohlweiss, Luigi Russo, Michal Zajac
2023 J jnl
On Soundness Notions for Interactive Oracle Proofs.
IACR Cryptol. ePrint Arch.
Alexander R. Block, Albert Garreta, Pratyush Ranjan Tiwari, Michal Zajac
2022 — conf
Counting Vampires: From Univariate Sumcheck to Updatable ZK-SNARK.
ASIACRYPT (2)
Helger Lipmaa, Janno Siim, Michal Zajac
2022 J jnl
Counting Vampires: From Univariate Sumcheck to Updatable ZK-SNARK.
IACR Cryptol. ePrint Arch.
Helger Lipmaa, Janno Siim, Michal Zajac
2022 Misc conf
What Makes Fiat-Shamir zkSNARKs (Updatable SRS) Simulation Extractable?
SCN
Chaya Ganesh, Hamidreza Khoshakhlagh, Markulf Kohlweiss, Anca Nitulescu, Michal Zajac
2021 J jnl
On Simulation-Extractability of Universal zkSNARKs.
IACR Cryptol. ePrint Arch.
Markulf Kohlweiss, Michal Zajac
2021 J jnl
On Subversion-Resistant SNARKs.
J. Cryptol.
Behzad Abdolmaleki, Helger Lipmaa, Janno Siim, Michal Zajac
2021 — conf
Verifiably-Extractable OWFs and Their Applications to Subversion Zero-Knowledge.
ASIACRYPT (4)
Prastudy Fauzi, Helger Lipmaa, Janno Siim, Michal Zajac, Arne Tobias Ødegaard
2021 J jnl
Verifiably-Extractable OWFs and Their Applications to Subversion Zero-Knowledge.
IACR Cryptol. ePrint Arch.
Prastudy Fauzi, Helger Lipmaa, Janno Siim, Michal Zajac, Arne Tobias Ødegaard
2020 B conf
A Non-interactive Shuffle Argument with Low Trust Assumptions.
CT-RSA
Antonis Aggelakis, Prastudy Fauzi, Georgios Korfiatis, Panos Louridas, Foteinos Mergoupis-Anagnou, Janno Siim, Michal Zajac
2020 — conf
On QA-NIZK in the BPK Model.
Public Key Cryptography (1)
Behzad Abdolmaleki, Helger Lipmaa, Janno Siim, Michal Zajac
2020 J jnl
On Subversion-Resistant SNARKs.
IACR Cryptol. ePrint Arch.
Behzad Abdolmaleki, Helger Lipmaa, Janno Siim, Michal Zajac
2019 J jnl
A Non-Interactive Shuffle Argument With Low Trust Assumptions.
IACR Cryptol. ePrint Arch.
Antonis Aggelakis, Prastudy Fauzi, Georgios Korfiatis, Panos Louridas, Foteinos Mergoupis-Anagnou, Janno Siim, Michal Zajac
2019 B conf
DL-Extractable UC-Commitment Schemes.
ACNS
Behzad Abdolmaleki, Karim Baghery, Helger Lipmaa, Janno Siim, Michal Zajac
2019 J jnl
DL-Extractable UC-Commitment Schemes.
IACR Cryptol. ePrint Arch.
Behzad Abdolmaleki, Karim Baghery, Helger Lipmaa, Janno Siim, Michal Zajac
2019 — conf
UC-Secure CRS Generation for SNARKs.
AFRICACRYPT
Behzad Abdolmaleki, Karim Baghery, Helger Lipmaa, Janno Siim, Michal Zajac
2019 J jnl
UC-Secure CRS Generation for SNARKs.
IACR Cryptol. ePrint Arch.
Behzad Abdolmaleki, Karim Baghery, Helger Lipmaa, Janno Siim, Michal Zajac
2019 J jnl
ZETH: On Integrating Zerocash on Ethereum.
CoRR
Antoine Rondelet, Michal Zajac
2018 J jnl
On QA-NIZK in the BPK Model.
IACR Cryptol. ePrint Arch.
Behzad Abdolmaleki, Helger Lipmaa, Janno Siim, Michal Zajac
2017 — conf
A Subversion-Resistant SNARK.
ASIACRYPT (3)
Behzad Abdolmaleki, Karim Baghery, Helger Lipmaa, Michal Zajac
2017 J jnl
A Subversion-Resistant SNARK.
IACR Cryptol. ePrint Arch.
Behzad Abdolmaleki, Karim Baghery, Helger Lipmaa, Michal Zajac
2017 — conf
An Efficient Pairing-Based Shuffle Argument.
ASIACRYPT (2)
Prastudy Fauzi, Helger Lipmaa, Janno Siim, Michal Zajac
2017 J jnl
An Efficient Pairing-Based Shuffle Argument.
IACR Cryptol. ePrint Arch.
Prastudy Fauzi, Helger Lipmaa, Janno Siim, Michal Zajac
2016 — conf
A Shuffle Argument Secure in the Generic Model.
ASIACRYPT (2)
Prastudy Fauzi, Helger Lipmaa, Michal Zajac
2016 J jnl
A Shuffle Argument Secure in the Generic Model.
IACR Cryptol. ePrint Arch.
Prastudy Fauzi, Helger Lipmaa, Michal Zajac
2016 Misc conf
Bounded-Retrieval Model with Keys Derived from Private Data.
Inscrypt
Konrad Durnoga, Stefan Dziembowski, Tomasz Kazana, Michal Zajac, Maciej Zdanowicz
2015 J jnl
Leakage-Resilient Cryptography with Key Derived from Sensitive Data.
IACR Cryptol. ePrint Arch.
Konrad Durnoga, Tomasz Kazana, Michal Zajac, Maciej Zdanowicz
2015 J jnl
One Time Programs with Limited Memory.
IACR Cryptol. ePrint Arch.
Konrad Durnoga, Stefan Dziembowski, Tomasz Kazana, Michal Zajac
2013 Misc conf
One-Time Programs with Limited Memory.
Inscrypt
Konrad Durnoga, Stefan Dziembowski, Tomasz Kazana, Michal Zajac