Vassilis Zikas

Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022

FairMM: A Fast and Frontrunning-Resistant Crypto Market-Maker.

[BibT_eX]

[DOI]

Proceedings of the Cyber Security, Cryptology, and Machine Learning, 2022

Etherless Ethereum Tokens: Simulating Native Tokens in Ethereum.

[BibT_eX]

[DOI]

John Andrews

Michele Ciampi

Proceedings of the Cyber Security, Cryptology, and Machine Learning, 2022

Universally Composable Almost-Everywhere Secure Computation.

[BibT_eX]

[DOI]

Proceedings of the 3rd Conference on Information-Theoretic Cryptography, 2022

2021

Adaptively Secure Broadcast in Resource-Restricted Cryptography.

[BibT_eX]

[DOI]

Ran Cohen

Juan A. Garay

IACR Cryptol. ePrint Arch., 2021

On the (Ir)Replaceability of Global Setups, or How (Not) to Use a Global Ledger.

[BibT_eX]

[DOI]

Julia Hesse

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

Dynamic Ad Hoc Clock Synchronization.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology - EUROCRYPT 2021, 2021

A Rational Protocol Treatment of 51% Attacks.

[BibT_eX]

[DOI]

Yun Lu

Proceedings of the Advances in Cryptology - CRYPTO 2021, 2021

2020

A PoR/PoS-Hybrid Blockchain: Proof of Reputation with Nakamoto Fallback.

[BibT_eX]

[DOI]

Leonard Kleinrock

IACR Cryptol. ePrint Arch., 2020

How Private Are Commonly-Used Voting Rules?

[BibT_eX]

[DOI]

Proceedings of the Thirty-Sixth Conference on Uncertainty in Artificial Intelligence, 2020

Universal Composition with Global Subroutines: Capturing Global Setup Within Plain UC.

[BibT_eX]

[DOI]

Proceedings of the Theory of Cryptography - 18th International Conference, 2020

Proof-of-Reputation Blockchain with Nakamoto Fallback.

[BibT_eX]

[DOI]

Leonard Kleinrock

Proceedings of the Progress in Cryptology - INDOCRYPT 2020, 2020

Resource-Restricted Cryptography: Revisiting MPC Bounds in the Proof-of-Work Era.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology - EUROCRYPT 2020, 2020

Broadcast-Optimal Two-Round MPC.

[BibT_eX]

[DOI]

Ran Cohen

Juan A. Garay

Proceedings of the Advances in Cryptology - EUROCRYPT 2020, 2020

Timed Signatures and Zero-Knowledge Proofs - Timestamping in the Blockchain Era -.

[BibT_eX]

[DOI]

Proceedings of the Applied Cryptography and Network Security, 2020

2019

Resource-Restricted Cryptography: Honest-Majority MPC from a CRS (and No Broadcast).

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2019

Ouroboros Chronos: Permissionless Clock Synchronization via Proof-of-Stake.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2019

Cryptography with Disposable Backdoors.

[BibT_eX]

[DOI]

Cryptogr., 2019

PD-ML-Lite: Private Distributed Machine Learning from Lighweight Cryptography.

[BibT_eX]

[DOI]

CoRR, 2019

Ouroboros Crypsinous: Privacy-Preserving Proof-of-Stake.

[BibT_eX]

[DOI]

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

PD-ML-Lite: Private Distributed Machine Learning from Lightweight Cryptography.

[BibT_eX]

[DOI]

Proceedings of the Information Security - 22nd International Conference, 2019

Efficient MPC via Program Analysis: A Framework for Efficient Optimal Mixing.

[BibT_eX]

[DOI]

Muhammad Ishaq

Ana L. Milanova

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

2018

Cryptography with Dispensable Backdoors.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2018

How Private Is Your Voting? A Framework for Comparing the Privacy of Voting Mechanisms.

[BibT_eX]

[DOI]

CoRR, 2018

Secure Two-Party Computation over Unreliable Channels.

[BibT_eX]

[DOI]

Ran Gelles

Anat Paskin-Cherniavsky

Proceedings of the Security and Cryptography for Networks - 11th International Conference, 2018

But Why Does It Work? A Rational Protocol Design Treatment of Bitcoin.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology - EUROCRYPT 2018 - 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29, 2018

Cryptographically Secure Detection of Injection Attacks.

[BibT_eX]

[DOI]

Yun Lu

Konstantinos Mitropoulos

Avraham Weinstock

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

Ouroboros Genesis: Composable Proof-of-Stake Blockchains with Dynamic Availability.

[BibT_eX]

[DOI]

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

2017

Round-Preserving Parallel Composition of Probabilistic-Termination Cryptographic Protocols.

[BibT_eX]

[DOI]

Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017

The Price of Low Communication in Secure Multi-party Computation.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology - CRYPTO 2017, 2017

Bitcoin as a Transaction Ledger: A Composable Treatment.

[BibT_eX]

[DOI]

Ueli Maurer

Daniel Tschudi

Proceedings of the Advances in Cryptology - CRYPTO 2017, 2017

2016

Constant-Round Asynchronous Multi-Party Computation.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2016

Provably Secure Virus Detection: Using The Observer Effect Against Malware.

[BibT_eX]

[DOI]

Richard J. Lipton

Proceedings of the 43rd International Colloquium on Automata, Languages, and Programming, 2016

Fair and Robust Multi-party Computation Using a Global Transaction Ledger.

[BibT_eX]

[DOI]

Aggelos Kiayias

Hong-Sheng Zhou

Proceedings of the Advances in Cryptology - EUROCRYPT 2016, 2016

Network-Hiding Communication and Applications to Multi-party Protocols.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology - CRYPTO 2016, 2016

Probabilistic Termination and Composability of Cryptographic Protocols.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology - CRYPTO 2016, 2016

Constant-Round Asynchronous Multi-Party Computation Based on One-Way Functions.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology - ASIACRYPT 2016, 2016

2015

Provable Virus Detection: Using the Uncertainty Principle to Protect Against Malware.

[BibT_eX]

[DOI]

Richard J. Lipton

IACR Cryptol. ePrint Arch., 2015

Fair Distributed Computation of Reactive Functions.

[BibT_eX]

[DOI]

Juan A. Garay

Björn Tackmann

Proceedings of the Distributed Computing - 29th International Symposium, 2015

How Fair is Your Protocol?: A Utility-based Approach to Protocol Optimality.

[BibT_eX]

[DOI]

Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing, 2015

The Hidden Graph Model: Communication Locality and Optimal Resiliency with Adaptive Faults.

[BibT_eX]

[DOI]

Nishanth Chandran

Wutichai Chongchitmate

Proceedings of the 2015 Conference on Innovations in Theoretical Computer Science, 2015

Incoercible Multi-party Computation and Universally Composable Receipt-Free Voting.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology - CRYPTO 2015, 2015

2014

Optimally Resilient and Adaptively Secure Multi-Party Computation with Low Communication Locality.

[BibT_eX]

[DOI]

Nishanth Chandran

Wutichai Chongchitmate

IACR Cryptol. ePrint Arch., 2014

Distributing the setup in universally composable multi-party computation.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Principles of Distributed Computing, 2014

Secure Multi-Party Computation with Identifiable Abort.

[BibT_eX]

[DOI]

Yuval Ishai

Proceedings of the Advances in Cryptology - CRYPTO 2014, 2014

Efficient Three-Party Computation from Cut-and-Choose.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology - CRYPTO 2014, 2014

2013

Information-Theoretic Secure Multiparty Computation.

[BibT_eX]

[DOI]

Ueli Maurer

Proceedings of the Secure Multi-Party Computation, 2013

Universally Composable Synchronous Computation.

[BibT_eX]

[DOI]

Proceedings of the Theory of Cryptography - 10th Theory of Cryptography Conference, 2013

Feasibility and Completeness of Cryptographic Tasks in the Quantum World.

[BibT_eX]

[DOI]

Proceedings of the Theory of Cryptography - 10th Theory of Cryptography Conference, 2013

Rational Protocol Design: Cryptography against Incentive-Driven Adversaries.

[BibT_eX]

[DOI]

Proceedings of the 54th Annual IEEE Symposium on Foundations of Computer Science, 2013

2012

Byzantine Agreement with a Rational Adversary.

[BibT_eX]

[DOI]

Adam Groce

Jonathan Katz

Aishwarya Thiruvengadam

Proceedings of the Automata, Languages, and Programming - 39th International Colloquium, 2012

Collusion-Preserving Computation.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology - CRYPTO 2012, 2012

2011

Player-Centric Byzantine Agreement.

[BibT_eX]

[DOI]

Martin Hirt

Proceedings of the Automata, Languages and Programming - 38th International Colloquium, 2011

2010

Generalized corruption models in secure multi-party computation.

[BibT_eX]

[DOI]

PhD thesis, 2010

Adaptively Secure Broadcast.

[BibT_eX]

[DOI]

Martin Hirt

Proceedings of the Advances in Cryptology - EUROCRYPT 2010, 29th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Monaco / French Riviera, May 30, 2010

2009

Realistic Failures in Secure Multi-party Computation.

[BibT_eX]

[DOI]