Programmability in the Generic Ring and Group Models. - Mario Larangeira; Keisuke Tanaka (J. Internet Serv. Inf. Secur., 2011)

Reduction-Centric Non-programmable Security Proof for the Full Domain Hash in the Random Oracle Model. - Mario Larangeira; Keisuke Tanaka (WISA, 2012)

A Prunable Blockchain Consensus Protocol Based on Non-Interactive Proofs of Past States Retrievability. - Alexander Chepurnoy; Mario Larangeira; Alexander Ojiganov (CoRR, 2016)

Kaleidoscope: An Efficient Poker Protocol with Payment Distribution and Penalty Enforcement. - Bernardo David; Rafael Dowsley; Mario Larangeira (IACR Cryptol. ePrint Arch., 2017)

MARS: Monetized Ad-hoc Routing System (A Position Paper). - Bernardo David; Rafael Dowsley; Mario Larangeira (CRYBLOCK@MobiSys, 2018)

ROYALE: A Framework for Universally Composable Card Games with Financial Rewards and Penalties Enforcement. - Bernardo David; Rafael Dowsley; Mario Larangeira (IACR Cryptol. ePrint Arch., 2018)

21 - Bringing Down the Complexity: Fast Composable Protocols for Card Games Without Secret State. - Bernardo David; Rafael Dowsley; Mario Larangeira (IACR Cryptol. ePrint Arch., 2018)

SoK: A Taxonomy for Layer-2 Scalability Related Protocols for Cryptocurrencies. - Maxim Jourenko; Kanta Kurazumi; Mario Larangeira; Keisuke Tanaka (IACR Cryptol. ePrint Arch., 2019)

Lightweight Virtual Payment Channels. - Maxim Jourenko; Mario Larangeira; Keisuke Tanaka (IACR Cryptol. ePrint Arch., 2020)

Payment Trees: Low Collateral Payments for Payment Channel Networks. - Maxim Jourenko; Mario Larangeira; Keisuke Tanaka (IACR Cryptol. ePrint Arch., 2020)

Account Management in Proof of Stake Ledgers. - Dimitris Karakostas; Aggelos Kiayias; Mario Larangeira (IACR Cryptol. ePrint Arch., 2020)

W-OTS+ Up My Sleeve! A Hidden Secure Fallback for Cryptocurrency Wallets. - David Chaum; Mario Larangeira; Mario Yaksetig; William Carter (ACNS (1), 2021)

Environmental Adaptive Privacy Preserving Contact Tracing System for Respiratory Infectious Diseases. - Pengfei Wang; Xiangyu Su; Maxim Jourenko; Zixian Jiang; Mario Larangeira; Keisuke Tanaka (CSS, 2021)

Turn-Based Communication Channels. - Carlo Brunetta; Mario Larangeira; Bei Liang; Aikaterini Mitrokotsa; Keisuke Tanaka (IACR Cryptol. ePrint Arch., 2021)

W-OTS(+) up my Sleeve! A Hidden Secure Fallback for Cryptocurrency Wallets. - David Chaum; Mario Larangeira; Mario Yaksetig; William Carter (IACR Cryptol. ePrint Arch., 2021)

Interhead Hydra Two Heads are Better than One. - Maxim Jourenko; Mario Larangeira; Keisuke Tanaka (IACR Cryptol. ePrint Arch., 2021)

Conclave: A Collective Stake Pool Protocol. - Dimitris Karakostas; Aggelos Kiayias; Mario Larangeira (IACR Cryptol. ePrint Arch., 2021)

Reputation at Stake! A Trust Layer over Decentralized Ledger for Multiparty Computation and Reputation-Fair Lottery. - Mario Larangeira (IACR Cryptol. ePrint Arch., 2021)

WOTSwana: A Generalized S leeve Construction for Multiple Proofs of Ownership. - David Chaum; Mario Larangeira; Mario Yaksetig (ICISC, 2022)

Tweakable Sleeve: A Novel Sleeve Construction Based on Tweakable Hash Functions. - David Chaum; Mario Larangeira; Mario Yaksetig (MARBLE, 2022)

A Spendable Cold Wallet from QR Video. - Rafael Dowsley; Mylène C. Q. Farias; Mario Larangeira; Anderson Nascimento; Jot Virdee (SECRYPT, 2022)

How to Prove Work: With Time or Memory. - Xiangyu Su; Mario Larangeira; Keisuke Tanaka (IEEE Access, 2022)

Environmental Adaptive Privacy Preserving Contact Tracing System: A Construction From Public Key Rerandomizable BLS Signatures. - Pengfei Wang; Xiangyu Su; Maxim Jourenko; Zixian Jiang; Mario Larangeira; Keisuke Tanaka (IEEE Access, 2022)

Tweakable Sleeve: A Novel Sleeve Construction based on Tweakable Hash Functions. - David Chaum; Mario Larangeira; Mario Yaksetig (IACR Cryptol. ePrint Arch., 2022)

WOTSwana: A Generalized Sleeve Construction for Multiple Proofs of Ownership. - David Chaum; Mario Larangeira; Mario Yaksetig (IACR Cryptol. ePrint Arch., 2022)

Bid-Matching Problem and Score-Based Consensus for Peer-to-Peer Energy Trading. - Xiangyu Su; Xavier Défago; Mario Larangeira; Kazuyuki Mori; Takuya Oda; Yuta Okumura; Yasumasa Tamura; Keisuke Tanaka (IACR Cryptol. ePrint Arch., 2022)

Reducing Latency of DAG-based Consensus in the Asynchronous Setting via the UTXO Model. - Keyang Liu; Maxim Jourenko; Mario Larangeira (ISPA/BDCloud/SocialCom/SustainCom, 2023)

A Decentralized Information Marketplace Preserving Input and Output Privacy. - Steven Golob; Sikha Pentyala; Rafael Dowsley; Bernardo David; Mario Larangeira; Martine De Cock; Anderson C. A. Nascimento (DEC@SIGMOD, 2023)

State Machines across Isomorphic Layer 2 Ledgers. - Maxim Jourenko; Mario Larangeira (IACR Cryptol. ePrint Arch., 2023)

Maravedí: A Secure and Practical Protocol to Trade Risk for Instantaneous Finality. - Mario Larangeira; Maxim Jourenko (IACR Cryptol. ePrint Arch., 2023)

Provably Secure Blockchain Protocols from Distributed Proof-of-Deep-Learning. - Xiangyu Su; Mario Larangeira; Keisuke Tanaka (IACR Cryptol. ePrint Arch., 2023)

Auditable Attribute-Based Credentials Scheme and Its Applications in Contact Tracing. - Pengfei Wang; Xiangyu Su; Mario Larangeira; Keisuke Tanaka (IACR Cryptol. ePrint Arch., 2023)

Auditable Attribute-Based Credentials Scheme and Its Application in Contact Tracing. - Pengfei Wang; Xiangyu Su; Mario Larangeira; Keisuke Tanaka (ACNS (1), 2024)

Scalable and Lightweight State-Channel Audits. - Christian Badertscher; Maxim Jourenko; Dimitris Karakostas; Mario Larangeira (IACR Cryptol. ePrint Arch., 2024)

MUSEN: Aggregatable Key-Evolving Verifiable Random Functions and Applications. - Bernardo David; Rafael Dowsley; Anders Konring; Mario Larangeira (IACR Cryptol. ePrint Arch., 2024)

Optimizing Liveness for Blockchain-Based Sealed-Bid Auctions in Rational Settings. - Maozhou Huang; Xiangyu Su; Mario Larangeira; Keisuke Tanaka (IACR Cryptol. ePrint Arch., 2024)

Double Auction Meets Blockchain: Consensus from Scored Bid-Assignment. - Xiangyu Su; Xavier Défago; Mario Larangeira; Kazuyuki Mori; Takuya Oda; Yasumasa Tamura; Keisuke Tanaka (ACNS (1), 2025)

Secure and Practical Cold (and Hot) Staking. - Mario Larangeira (IACR Cryptol. ePrint Arch., 2025)

Adaptively Secure Blockchain-Aided Decentralized Storage Networks: Formalization and Generic Construction. - Xiangyu Su; Yuma Tamagawa; Mario Larangeira; Keisuke Tanaka (IACR Cryptol. ePrint Arch., 2025)