publications | Crypto@UW

Group publications (from 2008)

Strong Secret Sharing with Snitching

Jan Bormet, Stefan Dziembowski, Sebastian Faust, Tomasz Lizurej, and Marcin Mielniczuk

accepted to the 45rd Annual International Cryptology Conference, CRYPTO 2025

A Formally Verified Lightning Network

ArXiv

Grzegorz Fabiański, Rafał Stefański, and Orfeas Stefanos Thyfronitis Litos

Financial Cryptography and Data Security 2025

VIMz: Private Proofs of Image Manipulation using Folding-based zkSNARKs

Eprint

Stefan Dziembowski, Shahriar Ebrahimi, and Parisa Hassanizadeh

accepted to the Privacy Enhancing Technologies Symposium 2025

Compact Proofs of Partial Knowledge for Overlapping CNF Formulae

Eprint

Gennaro Avitabile, Vincenzo Botta, Daniele Friolo, Daniele Venturi, and Ivan Visconti

Journal of Cryptol. 38(1): 7 (2025)

Coupled-Space Attacks Against Random-Walk-based Anomaly Detection

arXiv

Lai, Yuni, Marcin Waniek, Liying Li, Jingwen Wu, Yulin Zhu, Tomasz P. Michalak, Talal Rahwan, and Kai Zhou

IEEE Transactions on Information Forensics and Security (2024)

Password-Protected Threshold Signatures

Eprint

Stefan Dziembowski, Stanisław Jarecki, Paweł Kędzior, Hugo Krawczyk, Chan Nam Ngo, and Jiayu Xu

ASIACRYPT 2024 - 30th International Conference on the Theory and Application of Cryptology and Information Security

Threshold PAKE with Security against Compromise of all Servers

Eprint

Yanqi Gu, Stanisław Jarecki, Paweł Kędzior, Phillip Nazarian, and Jiayu Xu

ASIACRYPT 2024 - 30th International Conference on the Theory and Application of Cryptology and Information Security

Secret Sharing with Snitching

Eprint

Stefan Dziembowski, Sebastian Faust, Tomasz Lizurej, and Marcin Mielniczuk

31st ACM Conference on Computer and Communications Security (ACM CCS 2024)

Flexichain: Flexible Payment Channel Networks to Defend Against Channel Exhaustion Attack

ACM

Susil Kumar Mohanty and Somanath Tripathy

ACM Transactions on Privacy and Security (TOPS, 2024) (formerly known as TISSEC)

Bribe & Fork: Cheap Bribing Attacks via Forking Threat

arXiv

Zeta Avarikioti, Paweł Kędzior, Tomasz Lizurej, and Tomasz Michalak

Advances in Financial Technologies - AFT 2024

Data Redaction in Smart-Contract-Enabled Permissioned Blockchains

DLT

Gennaro Avitabile, Vincenzo Botta, Daniele Friolo, and Ivan Visconti

6th Distributed Ledger Technologies Workshop (DLT 2024)

Black-Box (and Fast) Non-Malleable Zero Knowledge

Springer

Vincenzo Botta, Michele Ciampi, Emmanuela Orsini, Luisa Siniscalchi and Ivan Visconti

accepted to the 44th Annual International Cryptology Conference, CRYPTO 2024

Graph Anomaly Detection at Group Level: A Topology Pattern Enhanced Unsupervised Approach

arXiv

Xing Ai, Jialong Zhou, Yulin Zhu, Gaolei Li, Tomasz P. Michalak, Xiapu Luo, Kai Zhou

IEEE International Conference on Data Engineering (ICDE) 2024

From interaction to Independence: zkSNARKs for Transparent and Non-Interactive Remote Attestation

NDSS

Shahriar Ebrahimi and Parisa Hassanizadeh

Network and Distributed System Security (NDSS) Symposium 2024

From Random Probing to Noisy Leakages Without Field-Size Dependence

Eprint

Gianluca Brian, Stefan Dziembowski, and Sebastian Faust

EUROCRYPT 2024

Towards Secrecy-Aware Attacks Against Trust Prediction in Signed Social Networks

arXiv

Zhu, Yulin, Tomasz Michalak, Xiapu Luo, Xiaoge Zhang, and Kai Zhou.

IEEE Transactions on Information Forensics and Security (2024)

Efficiently Testable Circuits without Conductivity

Eprint

Mirza Ahad Baig, Suvradip Chakraborty, Stefan Dziembowski, Małgorzata Gałązka, Tomasz Lizurej, and Krzysztof Pietrzak

Theory of Cryptography Conference, TCC 2023

Non-Atomic Payment Splitting in Channel Networks

Eprint

Stefan Dziembowski and Paweł Kędzior

Advances in Financial Technologies - AFT 2023

Secure Blockchain-Based Supply Chain Management with Verifiable Digital Twins

arXiv

Vincenzo Botta, Laura Fusco, Attilio Mondelli, and Ivan Visconti

ACM Conference on Information Technology for Social Good, GoodIT 2023

Individual Cryptography

Eprint

Stefan Dziembowski, Sebastian Faust, and Tomasz Lizurej

43rd Annual International Cryptology Conference, CRYPTO 2023

Doubly adaptive zero-knowledge proofs

link

Vincenzo Botta and Ivan Visconti

Theoretical Computer Science 968: 114014 (2023)

Lightning Creation Games

arXiv

Zeta Avarikioti, Tomasz Lizurej, Tomasz Michalak and Michelle Yeo

43rd IEEE International Conference on Distributed Computing Systems (ICDCS) 2023

Extendable Threshold Ring Signatures with Enhanced Anonymity

Eprint

Gennaro Avitabile, Vincenzo Botta, and Dario Fiore

International Conference on Practice and Theory of Public-Key Cryptography (PKC) 2023

Extendable Threshold Ring Signatures with Enhanced Anonymity

Eprint

Gennaro Avitabile, Vincenzo Botta, and Dario Fiore

Public-Key Cryptography, PKC 2023

On Manipulating Weight Predictions in Signed Weighted Networks

arXiv

Tomasz Lizurej, Tomasz Michalak, and Stefan Dziembowski

Thirty-Seventh AAAI Conference on Artificial Intelligence 2023

Efficiently Testable Circuits

Eprint

Mirza Ahad Baig, Suvradip Chakraborty, Stefan Dziembowski, Małgorzata Gałązka, Tomasz Lizurej, and Krzysztof Pietrzak

Innovations in Theoretical Computer Science, ITCS 2023

Trojan-Resilience without Cryptography

Eprint

Suvradip Chakraborty and Stefan Dziembowski and Małgorzata Gałązka and Tomasz Lizurej and Krzysztof Pietrzak and Michelle Yeo

Theory of Cryptography Conference, TCC 2021

Lower Bounds for Off-Chain Protocols: Exploring the Limits of Plasma

Eprint

Stefan Dziembowski, Grzegorz Fabiański, Sebastian Faust, and Siavash Riahi

12th Innovations in Theoretical Computer Science Conference (ITCS 2021)

Reverse Firewalls for Actively Secure MPCs

Eprint

Suvradip Chakraborty and Stefan Dziembowski and Jesper Buus Nielsen

Annual International Cryptology Conference, CRYPTO 2020

Simple Refreshing in the Noisy Leakage Model

Springer

Stefan Dziembowski, Sebastian Faust, Karol Żebrowski

Annual International Conference on the Theory and Application of Cryptology and Information Security, ASIACRYPT 2019

Multi-party Virtual State Channels

Eprint

Stefan Dziembowski, Lisa Eckey, Sebastian Faust, Julia Hesse, Kristina Hostáková:

Conference on the Theory and Applications of Cryptographic Techniques, EUROCRYPT 2019

Perun: Virtual Payment Hubs over Cryptocurrencies

Eprint

Stefan Dziembowski, Lisa Eckey, Sebastian Faust, Daniel Malinowski

IEEE Symposium on Security and Privacy, IEEE S&P 2019

Continuous NMC Secure Against Permutations and Overwrites, with Applications to CCA Secure Commitments.

Eprint

Ivan Damgård, Tomasz Kazana, Maciej Obremski, Varun Raj, Luisa Siniscalchi

Theory of Cryptography Conference, TCC 2018

Unifying Leakage Models: From Probing Attacks to Noisy Leakage

Pdf

Alexandre Duc, Stefan Dziembowski, Sebastian Faust

Journal of Cryptology 32(1): 151-177 (2019), conference version appeared at the Conference on the Theory and Applications of Cryptographic Techniques, EUROCRYPT 2014 (BEST PAPER AWARD)

Leakage-Resilient Algebraic Manipulation Detection Codes with Optimal Parameters.

Eprint

Divesh Aggarwal, Tomasz Kazana, Maciej Obremski

IEEE International Symposium on Information Theory, ISIT 2018

General State Channel Networks

Eprint

Stefan Dziembowski, Sebastian Faust, Kristina Hostakova

ACM Conference on Computer and Communications Security, ACM CCS 2018

FairSwap: How to fairly exchange digital goods

Eprint

Stefan Dziembowski, Lisa Eckey, Sebastian Faust

ACM Conference on Computer and Communications Security, ACM CCS 2018

Non-Malleable Codes

Eprint

Stefan Dziembowski, Krzysztof Pietrzak, Daniel Wichs

Journal of the ACM 65(4), 2018 (conference version appered in Innovations in Computer Science, ICS 2010)

Continuous NMC Secure Against Permutations and Overwrites, with Applications to CCA Secure Commitments

Eprint

Ivan Damgård, Tomasz Kazana, Maciej Obremski, Varun Raj, Luisa Siniscalchi

Theory of Cryptography Conference, TCC 2018

Leakage-Resilient Algebraic Manipulation Detection Codes with Optimal Parameters

Eprint

Divesh Aggarwal, Tomasz Kazana, Maciej Obremski

IEEE International Symposium on Information Theory, ISIT 2018

Quasi chain rule for min-entropy

Elsevier

Stefan Dziembowski, Tomasz Kazana, Maciej Zdanowicz

Information Processing Letters 134: 62-66 (2018)

Position-Based Cryptography and Multiparty Communication Complexity

Eprint

Joshua Brody, Stefan Dziembowski, Sebastian Faust, Krzysztof Pietrzak

Theory of Cryptography Conference, TCC 2017

Mergeable Functional Encryption

Eprint

Vincenzo Iovino, Karol Żebrowski

International Conference on Provable Security, ProvSec 2017

Disproving the Conjectures from "On the Complexity of Scrypt and Proofs of Space in the Parallel Random Oracle Model"

Springer

Daniel Malinowski, Karol Żebrowski

International Conference on Information Theoretic Security, ICITS 2017

Efficient Zero-Knowledge Contingent Payments in Cryptocurrencies Without Scripts

Eprint

Waclaw Banasik, Stefan Dziembowski, Daniel Malinowski

European Symposium on Research in Computer Security, ESORICS 2016

Bounded-Retrieval Model with Keys Derived from Private Data

Springer

Konrad Durnoga, Stefan Dziembowski, Tomasz Kazana, Michal Zajac, Maciej Zdanowicz

Conference on Information Security and Cryptology, Inscrypt 2016

Secure multiparty computations on Bitcoin

ACM

Marcin Andrychowicz, Stefan Dziembowski, Daniel Malinowski, Łukasz Mazurek

Communications of the ACM 59(4), 2016 (a short version of the IEEE S&P 2014 paper)

Circuit Compilers with O(1/\log (n)) Leakage Rate

Eprint

Marcin Andrychowicz, Stefan Dziembowski, Sebastian Faust:

Conference on the Theory and Applications of Cryptographic Techniques, EUROCRYPT 2016

Towards Sound Fresh Re-keying with Hard (Physical) Learning Problems

Eprint

Stefan Dziembowski, Sebastian Faust, Gottfried Herold, Anthony Journault, Daniel Masny, Francois-Xavier Standaert

Annual International Cryptology Conference, CRYPTO 2016

Private Circuits III: Hardware Trojan-Resilience via Testing Amplification

Eprint

Stefan Dziembowski, Sebastian Faust, Francois-Xavier Standaert

ACM Conference on Computer and Communications Security, ACM CCS 2016

Optimal Amplification of Noisy Leakages

Pdf

Stefan Dziembowski, Sebastian Faust, Maciej Skórski

Theory of Cryptography Conference, TCC 2016

A Better Chain Rule for HILL Pseudoentropy - Beyond Bounded Leakage

Springer

Maciej Skórski

International Conference on Information Theoretic Security, ICITS 2016

Evaluating Entropy for True Random Number Generators: Efficient, Robust and Provably Secure

Springer

Maciej Skórski

Conference on Information Security and Cryptology, Inscrypt 2016

On Pseudorandomness in Stateless Sources

Springer

Maciej Skórski

Information Security Applications., WISA 2016

Evaluating Entropy Sources for True Random Number Generators by Collision Counting

Springer

Maciej Skórski

Applications and Techniques in Information Security, ATIS 2016

How to Smooth Entropy?

Springer

Maciej Skórski

Theory and Practice of Computer Science, SOFSEM 2016

Inception Makes Non-malleable Codes Stronger

Eprint

Divesh Aggarwal, Tomasz Kazana, Maciej Obremski

Theory of Cryptography Conference, TCC 2016

Simulating Auxiliary Inputs, Revisited

Springer

Maciej Skórski

Theory of Cryptography Conference, TCC 2016

On the Power of Public-key Function-Private Functional Encryption

Eprint

Vincenzo Iovino, Qiang Tang, Karol Zebrowski

International Conference on Cryptology and Network Security, CANS 2016

Pseudoentropy: Lower-Bounds for Chain Rules and Transformations

Springer

Krzysztof Pietrzak, Maciej Skórski

Theory of Cryptography Conference, TCC 2016

PoW-Based Distributed Cryptography with No Trusted Setup

Eprint

Marcin Andrychowicz, Stefan Dziembowski

Annual Cryptology Conference, CRYPTO 2015

Proofs of Space

Eprint

Stefan Dziembowski, Sebastian Faust, Vladimir Kolmogorov, Krzysztof Pietrzak

Annual Cryptology Conference, CRYPTO 2015

The Chain Rule for HILL Pseudoentropy, Revisited

Springer

Maciej Skórski, Krzysztof Pietrzak

International Conference on Cryptology and Information Security in Latin America, LATINCRYPT 2015

On the Malleability of Bitcoin Transactions

Springer

Marcin Andrychowicz, Stefan Dziembowski, Daniel Malinowski, Lukasz Mazurek

Workshop on Bitcoin Research, BITCOIN 2015

On Provable Security of wPRF-Based Leakage-Resilient Stream Ciphers

Springer

Maciej Skórski

International Conference on Provable Security, ProvSec 2015

Efficiently Simulating High Min-entropy Sources in the Presence of Side Information

Springer

Maciej Skórski

Conference on Cryptology in India, INDOCRYPT 2015

A New Approximate Min-Max Theorem with Applications in Cryptography

Springer

Maciej Skórski

International Symposium on Algorithms and Computation, ISAAC 2015

Time-Advantage Ratios Under Simple Transformations: Applications in Cryptography

Springer

Maciej Skórski

Cryptography and Information Security in the Balkans, BalkanCryptSec 2015

True Random Number Generators Secure in a Changing Environment: Improved Security Bounds

Springer

Maciej Skórski

Theory and Practice of Computer Science, SOFSEM 2015

Condensed Unpredictability

Springer

Maciej Skórski, Alexander Golovnev, Krzysztof Pietrzak

International Colloquium on Automata, Languages and Programming, ICALP 2015

Nonuniform Indistinguishability and Unpredictability Hardcore Lemmas: New Proofs and Applications to Pseudoentropy

Springer

Maciej Skórski

International Conference on Information Theoretic Security, ICITS 2015

Shannon Entropy Versus Renyi Entropy from a Cryptographic Viewpoint.

Springer

Maciej Skórski

Cryptography and Coding, IMACC 2015

Non-malleable Reductions and Applications

Eprint

Divesh Aggarwal, Yevgeniy Dodis, Tomasz Kazana, Maciej Obremski

ACM Symposium on Theory of Computing, STOC 2015

Simulation-Based Secure Functional Encryption in the Random Oracle Model

Eprint

Vincenzo Iovino, Karol Żebrowski

International Conference on Cryptology and Information Security in Latin America, LATINCRYPT 2015

Noisy Leakage Revisited

Pdf

Stefan Dziembowski, Sebastian Faust, Maciej Skorski

Conference on the Theory and Applications of Cryptographic Techniques, EUROCRYPT 2015

How Much Randomness Can Be Extracted from Memoryless Shannon Entropy Sources?

Springer

Maciej Skórski

Information Security Applications., WISA 2015

Leakage-Resilient Cryptography over Large Finite Fields: Theory and Practice

Eprint

Marcin Andrychowicz, Daniel Masny, Edoardo Persichetti

Applied Cryptography and Network Security, ACNS 2015

Metric Pseudoentropy: Characterizations, Transformations and Applications

Springer

Maciej Skórski

International Conference on Information Theoretic Security, ICITS 2015

Leakage-Resilient Non-malleable Codes

Eprint

Divesh Aggarwal, Stefan Dziembowski, Tomasz Kazana, Maciej Obremski

Theory of Cryptography Conference, TCC 2016

Modulus Computational Entropy

Springer

Maciej Skórski

International Conference on Information Theoretic Security, ICITS 2013

Privacy and secrecy with multiple measurements of physical and biometric identifiers

IEEE

Onur Günlü, Gerhard Kramer, Maciej Skorski

IEEE Conference on Communications and Network Security, CNS 2015,

Efficient Leakage Resilient Circuit Compilers

Springer

Marcin Andrychowicz, Ivan Damgård, Stefan Dziembowski, Sebastian Faust, Antigoni Polychroniadou

Cryptographer's Track at the RSA Conference, CT-RSA 2015

Position-Based Cryptography from Noisy Channels

Springer

Stefan Dziembowski, Maciej Zdanowicz

International Conference on Cryptology in Africa, AFRICACRYPT 2014

Modeling Bitcoin Contracts by Timed Automata

arXiv

Marcin Andrychowicz, Stefan Dziembowski, Daniel Malinowski, Lukasz Mazurek

Formal Modeling and Analysis of Timed Systems, FORMATS 2014

Secure Multiparty Computations on Bitcoin

Eprint

Marcin Andrychowicz, Stefan Dziembowski, Daniel Malinowski, Łukasz Mazurek

IEEE Symposium on Security and Privacy, IEEE S&P 2014 (BEST PAPER AWARD)

Fair Two-Party Computations via Bitcoin Deposits

Pdf

Marcin Andrychowicz, Stefan Dziembowski, Daniel Malinowski, Łukasz Mazurek

Workshop on Bitcoin Research, BITCOIN 2014

One-Time Programs with Limited Memory

Eprint

Konrad Durnoga, Stefan Dziembowski, Tomasz Kazana, Michal Zając

Conference on Information Security and Cryptology, Inscrypt 2013

Non-malleable Codes from Two-Source Extractors

Eprint

Stefan Dziembowski, Tomasz Kazana, Maciej Obremski

Annual Cryptology Conference, CRYPTO 2013

Code-Based Public-Key Encryption Resistant to Key Leakage

Springer

Edoardo Persichetti

International Workshop on Modern Cryptography and Security Engineering, MoCrySEn 2013

Leakage Resilience of the Blom's Key Distribution Scheme

Pdf

Michal Jastrzębski, Stefan Dziembowski

International Conference on Information Theoretic Security, ICITS 2013

Secure and Anonymous Hybrid Encryption from Coding Theory

Springer

Edoardo Persichetti

Post-Quantum Cryptograph, PQCrypto 2013

Leakage-Resilient Circuits without Computational Assumptions

Pdf

Stefan Dziembowski, Sebastian Faust

Theory of Cryptography Conference, TCC 2012

One-Time Computable Self-erasing Functions

Pdf

Stefan Dziembowski, Tomasz Kazana, Daniel Wichs

Theory of Cryptography Conference, TCC 2011

Leakage-Resilient Cryptography from the Inner-Product Extractor

Eprint

Stefan Dziembowski, Sebastian Faust

Advances in Cryptology, ASIACRYPT 2011

Key-Evolution Schemes Resilient to Space-Bounded Leakage

Eprint

Stefan Dziembowski, Tomasz Kazana, Daniel Wichs

Annual Cryptology Conference, CRYPTO 2011

Leakage-Resilient Storage

Eprint

Francesco Davì, Stefan Dziembowski, Daniele Venturi

Security and Cryptography for Networks, SCN 2010

How to Pair with a Human

Eprint

Stefan Dziembowski

Security and Cryptography for Networks, SCN 2010

A Lower Bound on the Key Length of Information-Theoretic Forward-Secure Storage Schemes

Springer

Stefan Dziembowski

International Conference on Information Theoretic Security, ICITS 2009

On Active Attacks on Sensor Network Key Distribution Schemes

Springer

Stefan Dziembowski, Alessandro Mei, Alessandro Panconesi

Algorithmic Aspects of Wireless Sensor Networks, ALGOSENSORS 2009

The Bare Bounded-Storage Model: The Tight Bound on the Storage Requirement for Key Agreement

Pdf

Stefan Dziembowski, Ueli M. Maurer

IEEE Transactions on Information Theory 54(6): 2790-2792 (2008) (the conference version of a part of the EUROCRYPT 2004 paper)

University of Warsaw

CRYPTOGRAPHY AND BLOCKCHAIN GROUP

Group publications (from 2008)