Mario Larangeira

Xiangyu Su

Adam Blatchley Hansen

IACR Cryptol. ePrint Arch., 2025

Secure and Practical Cold (and Hot) Staking.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Security and Cryptography, 2025

Double Auction Meets Blockchain: Consensus from Scored Bid-Assignment.

[BibT_eX]

[DOI]

Proceedings of the Applied Cryptography and Network Security, 2025

2024

Optimizing Liveness for Blockchain-Based Sealed-Bid Auctions in Rational Settings.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2024

MUSEN: Aggregatable Key-Evolving Verifiable Random Functions and Applications.

[BibT_eX]

[DOI]

Proceedings of the Security and Cryptography for Networks - 14th International Conference, 2024

Scalable and Lightweight State-Channel Audits.

[BibT_eX]

[DOI]

Christian Badertscher

Dimitris Karakostas

Proceedings of the Cryptology and Network Security - 23rd International Conference, 2024

Auditable Attribute-Based Credentials Scheme and Its Application in Contact Tracing.

[BibT_eX]

[DOI]

Proceedings of the Applied Cryptography and Network Security, 2024

2023

Auditable Attribute-Based Credentials Scheme and Its Applications in Contact Tracing.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2023

Provably Secure Blockchain Protocols from Distributed Proof-of-Deep-Learning.

[BibT_eX]

[DOI]

Xiangyu Su

Proceedings of the Network and System Security - 17th International Conference, 2023

State Machines Across Isomorphic Layer 2 Ledgers.

[BibT_eX]

[DOI]

Anderson C. A. Nascimento

Proceedings of the Financial Cryptography and Data Security, 2023

A Decentralized Information Marketplace Preserving Input and Output Privacy.

[BibT_eX]

[DOI]

Proceedings of the Second ACM Data Economy Workshop, 2023

Reducing Latency of DAG-based Consensus in the Asynchronous Setting via the UTXO Model.

[BibT_eX]

[DOI]

Keyang Liu

Proceedings of the IEEE Intl Conf on Parallel & Distributed Processing with Applications, 2023

Maravedí: A Secure and Practical Protocol to Trade Risk for Instantaneous Finality.

[BibT_eX]

[DOI]

Proceedings of the Progress in Cryptology - AFRICACRYPT 2023, 2023

2022

Bid-Matching Problem and Score-Based Consensus for Peer-to-Peer Energy Trading.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2022

WOTSwana: A Generalized Sleeve Construction for Multiple Proofs of Ownership.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2022

Tweakable Sleeve: A Novel Sleeve Construction based on Tweakable Hash Functions.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2022

Environmental Adaptive Privacy Preserving Contact Tracing System: A Construction From Public Key Rerandomizable BLS Signatures.

[BibT_eX]

[DOI]

IEEE Access, 2022

A Spendable Cold Wallet from QR Video.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Security and Cryptography, 2022

Interhead Hydra: Two Heads are Better than One.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Mathematical Research for Blockchain Economy, 2022

Tweakable Sleeve: A Novel Sleeve Construction Based on Tweakable Hash Functions.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Mathematical Research for Blockchain Economy, 2022

Reputation at Stake! A Trust Layer over Decentralized Ledger for Multiparty Computation and Reputation-Fair Lottery.

[BibT_eX]

[DOI]

Proceedings of the Information Security and Cryptology - ICISC 2022, 2022

WOTSwana: A Generalized S leeve Construction for Multiple Proofs of Ownership.

[BibT_eX]

[DOI]

Proceedings of the Information Security and Cryptology - ICISC 2022, 2022

2021

W-OTS(+) up my Sleeve! A Hidden Secure Fallback for Cryptocurrency Wallets.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2021

Turn-Based Communication Channels.

[BibT_eX]

[DOI]

Carlo Brunetta

Bei Liang

Aikaterini Mitrokotsa

Proceedings of the Provable and Practical Security, 2021

How to Prove Work: With Time or Memory.

[BibT_eX]

[DOI]

Xiangyu Su

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2021

Payment Trees: Low Collateral Payments for Payment Channel Networks.

[BibT_eX]

[DOI]

Proceedings of the Financial Cryptography and Data Security, 2021

Conclave: A Collective Stake Pool Protocol.

[BibT_eX]

[DOI]

Dimitris Karakostas

Aggelos Kiayias

Proceedings of the Computer Security - ESORICS 2021, 2021

Environmental Adaptive Privacy Preserving Contact Tracing System for Respiratory Infectious Diseases.

[BibT_eX]

[DOI]

Proceedings of the Cyberspace Safety and Security - 13th International Symposium, 2021

W-OTS+ Up My Sleeve! A Hidden Secure Fallback for Cryptocurrency Wallets.

[BibT_eX]

[DOI]

Proceedings of the Applied Cryptography and Network Security, 2021

2020

Account Management in Proof of Stake Ledgers.

[BibT_eX]

[DOI]

Dimitris Karakostas

Aggelos Kiayias

Proceedings of the Security and Cryptography for Networks - 12th International Conference, 2020

Lightweight Virtual Payment Channels.

[BibT_eX]

[DOI]

Proceedings of the Cryptology and Network Security - 19th International Conference, 2020

2019

SoK: A Taxonomy for Layer-2 Scalability Related Protocols for Cryptocurrencies.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2019

ROYALE: A Framework for Universally Composable Card Games with Financial Rewards and Penalties Enforcement.

[BibT_eX]

[DOI]

Proceedings of the Financial Cryptography and Data Security, 2019

2018

MARS: Monetized Ad-hoc Routing System (A Position Paper).

[BibT_eX]

[DOI]

Proceedings of the 1st Workshop on Cryptocurrencies and Blockchains for Distributed Systems, 2018

Kaleidoscope: An Efficient Poker Protocol with Payment Distribution and Penalty Enforcement.

[BibT_eX]

[DOI]

Proceedings of the Financial Cryptography and Data Security, 2018

21 - Bringing Down the Complexity: Fast Composable Protocols for Card Games Without Secret State.

[BibT_eX]

[DOI]

Proceedings of the Information Security and Privacy - 23rd Australasian Conference, 2018

2016

A Prunable Blockchain Consensus Protocol Based on Non-Interactive Proofs of Past States Retrievability.

[BibT_eX]

[DOI]

Alexander Chepurnoy

Alexander Ojiganov

CoRR, 2016

2012

Reduction-Centric Non-programmable Security Proof for the Full Domain Hash in the Random Oracle Model.

[BibT_eX]

[DOI]

Proceedings of the Information Security Applications - 13th International Workshop, 2012

2011

Programmability in the Generic Ring and Group Models.

[BibT_eX]

[DOI]