Stefan Dziembowski

Shahriar Ebrahimi

Parisa Hassanizadeh

Proc. Priv. Enhancing Technol., 2025

Trustless Delegation of Vector Commitment Construction in Resource-Constrained Settings.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2025

Computationally-Sound Symbolic Cryptography in Lean.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2025

Beholder Signatures.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2025

TrafficProof: Privacy-Preserving Reliable Traffic Information Sharing in Social Internet of Vehicles.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2025

Burn Your Vote: Decentralized and Publicly Verifiable Anonymous Voting at Scale.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2025

Universal Channel Rebalancing: Flexible Coin Shifting in Payment Channel Networks.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2025

Strong Secret Sharing with Snitching.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology - CRYPTO 2025, 2025

2024

Shutter Network: Private Transactions from Threshold Cryptography.

[BibT_eX]

[DOI]

Jannik Luhn

IACR Cryptol. ePrint Arch., 2024

VIMz: Verifiable Image Manipulation using Folding-based zkSNARKs.

[BibT_eX]

[DOI]

Shahriar Ebrahimi

Parisa Hassanizadeh

IACR Cryptol. ePrint Arch., 2024

From Random Probing to Noisy Leakages Without Field-Size Dependence.

[BibT_eX]

[DOI]

Gianluca Brian

Proceedings of the Advances in Cryptology - EUROCRYPT 2024, 2024

Secret Sharing with Snitching.

[BibT_eX]

[DOI]

Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024

Password-Protected Threshold Signatures.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology - ASIACRYPT 2024, 2024

2023

Efficiently Testable Circuits Without Conductivity.

[BibT_eX]

[DOI]

Proceedings of the Theory of Cryptography - 21st International Conference, 2023

Efficiently Testable Circuits.

[BibT_eX]

[DOI]

Proceedings of the 14th Innovations in Theoretical Computer Science Conference, 2023

Individual Cryptography.

[BibT_eX]

[DOI]

Tomasz Lizurej

Proceedings of the Advances in Cryptology - CRYPTO 2023, 2023

Non-Atomic Payment Splitting in Channel Networks.

[BibT_eX]

[DOI]

Pawel Kedzior

Proceedings of the 5th Conference on Advances in Financial Technologies, 2023

On Manipulating Weight Predictions in Signed Weighted Networks.

[BibT_eX]

[DOI]

Tomasz Lizurej

Tomasz Michalak

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2021

Trojan-Resilience Without Cryptography.

[BibT_eX]

[DOI]

Proceedings of the Theory of Cryptography - 19th International Conference, 2021

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

[BibT_eX]

[DOI]

Proceedings of the 12th Innovations in Theoretical Computer Science Conference, 2021

2020

Ethna: Channel Network with Dynamic Internal Payment Splitting.

[BibT_eX]

[DOI]

Pawel Kedzior

IACR Cryptol. ePrint Arch., 2020

Reverse Firewalls for Actively Secure MPCs.

[BibT_eX]

[DOI]

Suvradip Chakraborty

Jesper Buus Nielsen

Proceedings of the Advances in Cryptology - CRYPTO 2020, 2020

2019

Perun: Virtual Payment Hubs over Cryptocurrencies.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE Symposium on Security and Privacy, 2019

Multi-party Virtual State Channels.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology - EUROCRYPT 2019, 2019

Simple Refreshing in the Noisy Leakage Model.

[BibT_eX]

[DOI]

Karol Zebrowski

Proceedings of the Advances in Cryptology - ASIACRYPT 2019, 2019

2018

Quasi chain rule for min-entropy.

[BibT_eX]

[DOI]

Maciej Zdanowicz

Inf. Process. Lett., 2018

Foundations of State Channel Networks.

[BibT_eX]

[DOI]

Kristina Hostáková

IACR Cryptol. ePrint Arch., 2018

General State Channel Networks.

[BibT_eX]

[DOI]

Kristina Hostáková

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

FairSwap: How To Fairly Exchange Digital Goods.

[BibT_eX]

[DOI]

Lisa Eckey

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

2017

PERUN: Virtual Payment Channels over Cryptographic Currencies.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2017

Position-Based Cryptography and Multiparty Communication Complexity.

[BibT_eX]

[DOI]

Proceedings of the Theory of Cryptography - 15th International Conference, 2017

2016

Optimal Amplification of Noisy Leakages.

[BibT_eX]

[DOI]

Maciej Skórski

Proceedings of the Theory of Cryptography - 13th International Conference, 2016

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

[BibT_eX]

[DOI]

Marcin Andrychowicz

Proceedings of the Advances in Cryptology - EUROCRYPT 2016, 2016

Efficient Zero-Knowledge Contingent Payments in Cryptocurrencies Without Scripts.

[BibT_eX]

[DOI]

Waclaw Banasik

François-Xavier Standaert

Daniel Malinowski

Proceedings of the Computer Security - ESORICS 2016, 2016

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

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology - CRYPTO 2016, 2016

Bounded-Retrieval Model with Keys Derived from Private Data.

[BibT_eX]

[DOI]

Proceedings of the Information Security and Cryptology - 12th International Conference, 2016

Private Circuits III: Hardware Trojan-Resilience via Testing Amplification.

[BibT_eX]

[DOI]

François-Xavier Standaert

Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016

2015

Leakage-Resilient Non-malleable Codes.

[BibT_eX]

[DOI]

Proceedings of the Theory of Cryptography - 12th Theory of Cryptography Conference, 2015

On the Malleability of Bitcoin Transactions.

[BibT_eX]

[DOI]

Proceedings of the Financial Cryptography and Data Security, 2015

Noisy Leakage Revisited.

[BibT_eX]

[DOI]

Maciej Skorski

Proceedings of the Advances in Cryptology - EUROCRYPT 2015, 2015

Efficient Leakage Resilient Circuit Compilers.

[BibT_eX]

[DOI]

Antigoni Polychroniadou

Proceedings of the Topics in Cryptology, 2015

Proofs of Space.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology - CRYPTO 2015, 2015

PoW-Based Distributed Cryptography with No Trusted Setup.

[BibT_eX]

[DOI]

Marcin Andrychowicz

Proceedings of the Advances in Cryptology - CRYPTO 2015, 2015

Introduction to Cryptocurrencies.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015

2014

Distributed Cryptography Based on the Proofs of Work.

[BibT_eX]

[DOI]

Marcin Andrychowicz

IACR Cryptol. ePrint Arch., 2014

Secure Multiparty Computations on Bitcoin.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE Symposium on Security and Privacy, 2014

Modeling Bitcoin Contracts by Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2014

Fair Two-Party Computations via Bitcoin Deposits.

[BibT_eX]

[DOI]

Proceedings of the Financial Cryptography and Data Security, 2014

Unifying Leakage Models: From Probing Attacks to Noisy Leakage.

[BibT_eX]

[DOI]

Alexandre Duc

Proceedings of the Advances in Cryptology - EUROCRYPT 2014, 2014

Position-Based Cryptography from Noisy Channels.

[BibT_eX]

[DOI]

Maciej Zdanowicz

Proceedings of the Progress in Cryptology - AFRICACRYPT 2014, 2014

2013

How to deal with malleability of BitCoin transactions.

[BibT_eX]

[DOI]

CoRR, 2013

Leakage Resilience of the Blom's Key Distribution Scheme.

[BibT_eX]

[DOI]

Michal Jastrzebski

Proceedings of the Information Theoretic Security - 7th International Conference, 2013

Non-malleable Codes from Two-Source Extractors.

[BibT_eX]

[DOI]

Maciej Obremski

Proceedings of the Advances in Cryptology - CRYPTO 2013, 2013

One-Time Programs with Limited Memory.

[BibT_eX]

[DOI]

Proceedings of the Information Security and Cryptology - 9th International Conference, 2013

2012

Leakage-Resilient Circuits without Computational Assumptions.

[BibT_eX]

[DOI]

Proceedings of the Theory of Cryptography - 9th Theory of Cryptography Conference, 2012

2011

One-Time Computable Self-erasing Functions.

[BibT_eX]

[DOI]

Proceedings of the Theory of Cryptography - 8th Theory of Cryptography Conference, 2011

Key-Evolution Schemes Resilient to Space-Bounded Leakage.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology - CRYPTO 2011, 2011

Leakage-Resilient Cryptography from the Inner-Product Extractor.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology - ASIACRYPT 2011, 2011

2010

One-time Computable and Uncomputable Functions.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2010

How to Pair with a Human.

[BibT_eX]

[DOI]

Proceedings of the Security and Cryptography for Networks, 7th International Conference, 2010

Leakage-Resilient Storage.

[BibT_eX]

[DOI]

Francesco Davì

Daniele Venturi

Proceedings of the Security and Cryptography for Networks, 7th International Conference, 2010

Non-Malleable Codes.

[BibT_eX]

[DOI]

Proceedings of the Innovations in Computer Science, 2010

2009

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

[BibT_eX]

[DOI]

Proceedings of the Information Theoretic Security, 4th International Conference, 2009

On Active Attacks on Sensor Network Key Distribution Schemes.

[BibT_eX]

[DOI]

Alessandro Mei

Alessandro Panconesi

Proceedings of the Algorithmic Aspects of Wireless Sensor Networks, 2009

2008

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

[BibT_eX]

[DOI]

IEEE Trans. Inf. Theory, 2008

Leakage-Resilient Cryptography in the Standard Model.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2008

Leakage-Resilient Cryptography.

[BibT_eX]

[DOI]

Proceedings of the 49th Annual IEEE Symposium on Foundations of Computer Science, 2008

2007

Intrusion-Resilient Secret Sharing.

[BibT_eX]

[DOI]

Proceedings of the 48th Annual IEEE Symposium on Foundations of Computer Science, 2007

2006

Intrusion-Resilience Via the Bounded-Storage Model.

[BibT_eX]

[DOI]

Proceedings of the Theory of Cryptography, Third Theory of Cryptography Conference, 2006

On Forward-Secure Storage.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology, 2006

2004

Optimal Randomizer Efficiency in the Bounded-Storage Model.

[BibT_eX]

[DOI]

J. Cryptol., 2004

Adaptive versus Non-Adaptive Security of Multi-Party Protocols.

[BibT_eX]

[DOI]

J. Cryptol., 2004

On Generating the Initial Key in the Bounded-Storage Model.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology, 2004

2002

Tight security proofs for the bounded-storage model.

[BibT_eX]

[DOI]

Proceedings of the Proceedings on 34th Annual ACM Symposium on Theory of Computing, 2002

2001

On Adaptive vs. Non-adaptive Security of Multiparty Protocols.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology, 2001

2000

On the Complexity of Verifiable Secret Sharing and Multi-Party Computation.

[BibT_eX]

[DOI]

Ronald Cramer

Ivan Damgård

IACR Cryptol. ePrint Arch., 2000

On the complexity of verifiable secret sharing and multiparty computation.

[BibT_eX]

[DOI]

Ronald Cramer

Ivan Damgård

Proceedings of the Thirty-Second Annual ACM Symposium on Theory of Computing, 2000

1999

Efficient Multiparty Computations Secure Against an Adaptive Adversary.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology, 1999

1997

How Much Memory is Needed to Win Infinite Games?

[BibT_eX]

[DOI]

Marcin Jurdzinski

Igor Walukiewicz

Proceedings of the Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29, 1997

1996

Bounded-Variable Fixpoint Queries are PSPACE-complete.

[BibT_eX]

[DOI]