| 2025 | ACNS | Double Auction Meets Blockchain: Consensus from Scored Bid-Assignment. | Xiangyu Su, Xavier Dfago, Mario Larangeira, Kazuyuki Mori, Takuya Oda, Yasumasa Tamura, Keisuke Tanaka |
| 2025 | FC | Optimizing Liveness for Blockchain-Based Sealed-Bid Auctions in Rational Settings. | Maozhou Huang, Xiangyu Su, Mario Larangeira, Keisuke Tanaka |
| 2025 | SECRYPT | Secure and Practical Cold (and Hot) Staking. | Mario Larangeira |
| 2024 | ACNS | Auditable Attribute-Based Credentials Scheme and Its Application in Contact Tracing. | Pengfei Wang, Xiangyu Su, Mario Larangeira, Keisuke Tanaka |
| 2024 | CANS | Scalable and Lightweight State-Channel Audits. | Christian Badertscher, Maxim Jourenko, Dimitris Karakostas, Mario Larangeira |
| 2024 | SCN | MUSEN: Aggregatable Key-Evolving Verifiable Random Functions and Applications. | Bernardo David, Rafael Dowsley, Anders Konring, Mario Larangeira |
| 2023 | FC | State Machines Across Isomorphic Layer 2 Ledgers. | Maxim Jourenko, Mario Larangeira |
| 2023 | NSS | Provably Secure Blockchain Protocols from Distributed Proof-of-Deep-Learning. | Xiangyu Su, Mario Larangeira, Keisuke Tanaka |
| 2022 | ICISC | WOTSwana: A Generalized | David Chaum, Mario Larangeira, Mario Yaksetig |
| 2022 | ICISC | Reputation at Stake! A Trust Layer over Decentralized Ledger for Multiparty Computation and Reputation-Fair Lottery. | Mario Larangeira |
| 2022 | SECRYPT | A Spendable Cold Wallet from QR Video. | Rafael Dowsley, Mylne C. Q. Farias, Mario Larangeira, Anderson Nascimento, Jot Virdee |
| 2021 | ACNS | W-OTS | David Chaum, Mario Larangeira, Mario Yaksetig, William Carter |
| 2021 | ESORICS | Conclave: A Collective Stake Pool Protocol. | Dimitris Karakostas, Aggelos Kiayias, Mario Larangeira |
| 2021 | FC | Payment Trees: Low Collateral Payments for Payment Channel Networks. | Maxim Jourenko, Mario Larangeira, Keisuke Tanaka |
| 2021 | ProvSec | Turn-Based Communication Channels. | Carlo Brunetta, Mario Larangeira, Bei Liang, Aikaterini Mitrokotsa, Keisuke Tanaka |
| 2020 | CANS | Lightweight Virtual Payment Channels. | Maxim Jourenko, Mario Larangeira, Keisuke Tanaka |
| 2020 | SCN | Account Management in Proof of Stake Ledgers. | Dimitris Karakostas, Aggelos Kiayias, Mario Larangeira |
| 2019 | FC | ROYALE: A Framework for Universally Composable Card Games with Financial Rewards and Penalties Enforcement. | Bernardo David, Rafael Dowsley, Mario Larangeira |
| 2018 | ACISP | 21 - Bringing Down the Complexity: Fast Composable Protocols for Card Games Without Secret State. | Bernardo David, Rafael Dowsley, Mario Larangeira |
| 2018 | FC | Kaleidoscope: An Efficient Poker Protocol with Payment Distribution and Penalty Enforcement. | Bernardo David, Rafael Dowsley, Mario Larangeira |
| 2018 | Mobisys | MARS: Monetized Ad-hoc Routing System (A Position Paper). | Bernardo David, Rafael Dowsley, Mario Larangeira |
| 2012 | WISA | Reduction-Centric Non-programmable Security Proof for the Full Domain Hash in the Random Oracle Model. | Mario Larangeira, Keisuke Tanaka |