Mario Larangeira

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 48

Top Topics

Privacy Preserving

Coloured Petri Nets

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Pengfei Wang, Xiangyu Su, Mario Larangeira, Keisuke Tanaka
Auditable Attribute-Based Credentials Scheme and Its Application in Contact Tracing. ACNS (1) (2024)
Bernardo David, Rafael Dowsley, Anders Konring, Mario Larangeira
MUSEN: Aggregatable Key-Evolving Verifiable Random Functions and Applications. IACR Cryptol. ePrint Arch. 2024 (2024)
Christian Badertscher, Maxim Jourenko, Dimitris Karakostas, Mario Larangeira
Scalable and Lightweight State-Channel Audits. IACR Cryptol. ePrint Arch. 2024 (2024)
Maxim Jourenko, Mario Larangeira
State Machines Across Isomorphic Layer 2 Ledgers. FC (2023)
Mario Larangeira, Maxim Jourenko
Maravedí: A Secure and Practical Protocol to Trade Risk for Instantaneous Finality. IACR Cryptol. ePrint Arch. 2023 (2023)
Xiangyu Su, Mario Larangeira, Keisuke Tanaka
Provably Secure Blockchain Protocols from Distributed Proof-of-Deep-Learning. NSS (2023)
Keyang Liu, Maxim Jourenko, Mario Larangeira
Reducing Latency of DAG-based Consensus in the Asynchronous Setting via the UTXO Model. CoRR (2023)
Pengfei Wang, Xiangyu Su, Mario Larangeira, Keisuke Tanaka
Auditable Attribute-Based Credentials Scheme and Its Applications in Contact Tracing. IACR Cryptol. ePrint Arch. 2023 (2023)
Maxim Jourenko, Mario Larangeira
State Machines across Isomorphic Layer 2 Ledgers. IACR Cryptol. ePrint Arch. 2023 (2023)
Xiangyu Su, Mario Larangeira, Keisuke Tanaka
Provably Secure Blockchain Protocols from Distributed Proof-of-Deep-Learning. IACR Cryptol. ePrint Arch. 2023 (2023)
Mario Larangeira, Maxim Jourenko
Maravedí: A Secure and Practical Protocol to Trade Risk for Instantaneous Finality. AFRICACRYPT (2023)
Keyang Liu, Maxim Jourenko, Mario Larangeira
Reducing Latency of DAG-based Consensus in the Asynchronous Setting via the UTXO Model. ISPA/BDCloud/SocialCom/SustainCom (2023)
Steven Golob, Sikha Pentyala, Rafael Dowsley, Bernardo David, Mario Larangeira, Martine De Cock, Anderson C. A. Nascimento
A Decentralized Information Marketplace Preserving Input and Output Privacy. DEC@SIGMOD (2023)
Xiangyu Su, Mario Larangeira, Keisuke Tanaka
How to Prove Work: With Time or Memory. IEEE Access 10 (2022)
Maxim Jourenko, Mario Larangeira, Keisuke Tanaka
Interhead Hydra: Two Heads are Better than One. MARBLE (2022)
Xiangyu Su, Xavier Défago, Mario Larangeira, Kazuyuki Mori, Takuya Oda, Yuta Okumura, Yasumasa Tamura, Keisuke Tanaka
Bid-Matching Problem and Score-Based Consensus for Peer-to-Peer Energy Trading. IACR Cryptol. ePrint Arch. 2022 (2022)
David Chaum, Mario Larangeira, Mario Yaksetig
Tweakable Sleeve: A Novel Sleeve Construction based on Tweakable Hash Functions. IACR Cryptol. ePrint Arch. 2022 (2022)
David Chaum, Mario Larangeira, Mario Yaksetig
Construction Based on Tweakable Hash Functions. MARBLE (2022)
Mario Larangeira
Reputation at Stake! A Trust Layer over Decentralized Ledger for Multiparty Computation and Reputation-Fair Lottery. ICISC (2022)
David Chaum, Mario Larangeira, Mario Yaksetig
Construction for Multiple Proofs of Ownership. ICISC (2022)
David Chaum, Mario Larangeira, Mario Yaksetig
WOTSwana: A Generalized Sleeve Construction for Multiple Proofs of Ownership. IACR Cryptol. ePrint Arch. 2022 (2022)
Rafael Dowsley, Mylène C. Q. Farias, Mario Larangeira, Anderson Nascimento, Jot Virdee
A Spendable Cold Wallet from QR Video. SECRYPT (2022)
Pengfei Wang, Xiangyu Su, Maxim Jourenko, Zixian Jiang, Mario Larangeira, Keisuke Tanaka
Environmental Adaptive Privacy Preserving Contact Tracing System: A Construction From Public Key Rerandomizable BLS Signatures. IEEE Access 10 (2022)
Dimitris Karakostas, Aggelos Kiayias, Mario Larangeira
Conclave: A Collective Stake Pool Protocol. ESORICS (1) (2021)
David Chaum, Mario Larangeira, Mario Yaksetig, William Carter
W-OTS(+) up my Sleeve! A Hidden Secure Fallback for Cryptocurrency Wallets. IACR Cryptol. ePrint Arch. 2021 (2021)
Carlo Brunetta, Mario Larangeira, Bei Liang, Aikaterini Mitrokotsa, Keisuke Tanaka
Turn-Based Communication Channels. ProvSec (2021)
Dimitris Karakostas, Aggelos Kiayias, Mario Larangeira
Conclave: A Collective Stake Pool Protocol. IACR Cryptol. ePrint Arch. 2021 (2021)
Mario Larangeira
Reputation at Stake! A Trust Layer over Decentralized Ledger for Multiparty Computation and Reputation-Fair Lottery. IACR Cryptol. ePrint Arch. 2021 (2021)
David Chaum, Mario Larangeira, Mario Yaksetig, William Carter
Up My Sleeve! A Hidden Secure Fallback for Cryptocurrency Wallets. ACNS (1) (2021)
Maxim Jourenko, Mario Larangeira, Keisuke Tanaka
Payment Trees: Low Collateral Payments for Payment Channel Networks. Financial Cryptography (2) (2021)
Xiangyu Su, Mario Larangeira, Keisuke Tanaka
How to Prove Work: With Time or Memory. IEEE ICBC (2021)
Pengfei Wang, Xiangyu Su, Maxim Jourenko, Zixian Jiang, Mario Larangeira, Keisuke Tanaka
Environmental Adaptive Privacy Preserving Contact Tracing System for Respiratory Infectious Diseases. CSS (2021)
Carlo Brunetta, Mario Larangeira, Bei Liang, Aikaterini Mitrokotsa, Keisuke Tanaka
Turn-Based Communication Channels. IACR Cryptol. ePrint Arch. 2021 (2021)
Maxim Jourenko, Mario Larangeira, Keisuke Tanaka
Interhead Hydra Two Heads are Better than One. IACR Cryptol. ePrint Arch. 2021 (2021)
Maxim Jourenko, Mario Larangeira, Keisuke Tanaka
Lightweight Virtual Payment Channels. IACR Cryptol. ePrint Arch. 2020 (2020)
Maxim Jourenko, Mario Larangeira, Keisuke Tanaka
Payment Trees: Low Collateral Payments for Payment Channel Networks. IACR Cryptol. ePrint Arch. 2020 (2020)
Dimitris Karakostas, Aggelos Kiayias, Mario Larangeira
Account Management in Proof of Stake Ledgers. IACR Cryptol. ePrint Arch. 2020 (2020)
Dimitris Karakostas, Aggelos Kiayias, Mario Larangeira
Account Management in Proof of Stake Ledgers. SCN (2020)
Maxim Jourenko, Mario Larangeira, Keisuke Tanaka
Lightweight Virtual Payment Channels. CANS (2020)
Maxim Jourenko, Kanta Kurazumi, Mario Larangeira, Keisuke Tanaka
SoK: A Taxonomy for Layer-2 Scalability Related Protocols for Cryptocurrencies. IACR Cryptol. ePrint Arch. 2019 (2019)
Bernardo David, Rafael Dowsley, Mario Larangeira
ROYALE: A Framework for Universally Composable Card Games with Financial Rewards and Penalties Enforcement. Financial Cryptography (2019)
Bernardo David, Rafael Dowsley, Mario Larangeira
MARS: Monetized Ad-hoc Routing System (A Position Paper). CRYBLOCK@MobiSys (2018)
Bernardo David, Rafael Dowsley, Mario Larangeira
Kaleidoscope: An Efficient Poker Protocol with Payment Distribution and Penalty Enforcement. Financial Cryptography (2018)
Bernardo David, Rafael Dowsley, Mario Larangeira
21 - Bringing Down the Complexity: Fast Composable Protocols for Card Games Without Secret State. ACISP (2018)
Bernardo David, Rafael Dowsley, Mario Larangeira
ROYALE: A Framework for Universally Composable Card Games with Financial Rewards and Penalties Enforcement. IACR Cryptol. ePrint Arch. 2018 (2018)
Bernardo David, Rafael Dowsley, Mario Larangeira
21 - Bringing Down the Complexity: Fast Composable Protocols for Card Games Without Secret State. IACR Cryptol. ePrint Arch. 2018 (2018)
Bernardo David, Rafael Dowsley, Mario Larangeira
Kaleidoscope: An Efficient Poker Protocol with Payment Distribution and Penalty Enforcement. IACR Cryptol. ePrint Arch. 2017 (2017)
Alexander Chepurnoy, Mario Larangeira, Alexander Ojiganov
A Prunable Blockchain Consensus Protocol Based on Non-Interactive Proofs of Past States Retrievability. CoRR (2016)
Mario Larangeira, Keisuke Tanaka
Reduction-Centric Non-programmable Security Proof for the Full Domain Hash in the Random Oracle Model. WISA (2012)
Mario Larangeira, Keisuke Tanaka
Programmability in the Generic Ring and Group Models. J. Internet Serv. Inf. Secur. 1 (2/3) (2011)