Published in 22nd International Conference on Security and Cryptography, 2025
Efficient Cold Staking in PoS Systems
Recommended citation: Mario Larangeira. (2025). "Secure and Practical Cold (and Hot) Staking." SECRYPT 2025.
Published in 23rd International Conference on Applied Cryptography and Network Security, 2025
Consensus protocol from bid matching
Recommended citation: Xiangyu Su, Xavier Defago, Mario Larangeira, Kazuyuki Mori, Takuya Oda, Yasumasa Tamura and Keisuke Tanaka. (2025). "Double Auction Meets Blockchain: Consensus from Scored Bid-Assignment." ACNS 2025.
Published in 14th International Conference on Security and Cryptography for Networks, 2024
VRF with forward security
Recommended citation: Bernard David, Rafael Dowsley, Anders Konring and Mario Larangeira. (2024). "MUSEN: Aggregatable Key-Evolving Verifiable Random Functions and Applications." SCN 2024.
Published in 23rd International Conference on Cryptology And Network Security, 2024
Audit capabilities on Hydra
Recommended citation: Christian Badertscher, Dimitris Karakostas, Maxim Jourenko and Mario Larangeira. (2024). "Scalable and Lightweight State-Channel Audits." CANS 2024.
Published in Springer, 2024
Attacks on proof of stake based blockchains
Recommended citation: Mario Larangeira and Dimitris Karakostas. (2024). "Auditable Attribute-Based Credentials Scheme and Its Application in Contact Tracing." Springer 2024.
Published in 22nd International Conference on Applied Cryptography and Network Security, 2024
Tracing contact with auditable credentials
Recommended citation: Pengfei Wang, Xiangyu Su, Mario Larangeira and Keisuke Tanaka. (2024). "Auditable Attribute-Based Credentials Scheme and Its Application in Contact Tracing." ACNS 2024.
Published in 17th International Conference on Network and System Security, 2023
Harvesting computational power for deep learning
Recommended citation: Xiangyu Su, Mario Larangeira and Keisuke Tanaka. (2023). "Provably Secure Blockchain Protocols from Distributed Proof-of-Deep-Learning." NSS 2023.
Published in 14th International Conference on Cryptology AFRICACRYPT 2023, 2023
A new way of implementing finality.
Recommended citation: Maxim Jourenko and Mario Larangeira. (2023). "Maravedí: A Secure and Practical Protocol to Trade Risk for Instantaneous Finality." AFRICACRYPT 2023. https://africacrypt2023.tn/
Published in 27th International Conference Financial Cryptography and Data Security, 2022
Better State Machines for Interheads
Recommended citation: Maxim Jourenko and Mario Larangeira. (2023). "State Machines across Isomorphic Layer 2 Ledgers." FC 2023. https://fc23.ifca.ai/
Published in 25th Annual International Conference on Information Security and Cryptology, 2022
Reputation at Stake!
Recommended citation: Mario Larangeira. (2022). "Reputation at Stake! A Trust Layer overDecentralized Ledger for Multiparty Computation and Reputation-Fair Lottery." ICISC 2022. http://www.icisc.org/mainp
Published in 25th Annual International Conference on Information Security and Cryptology, 2022
Reputation at Stake!
Recommended citation: Mario Larangeira. (2022). "Reputation at Stake! A Trust Layer overDecentralized Ledger for Multiparty Computation and Reputation-Fair Lottery." ICISC 2022. http://www.icisc.org/mainp
Published in 3rd International Conference on Mathematical Research for Blockchain Economy, 2022
Interhead Hydra: Two Heads are better than one!
Recommended citation: Maxim Jourenko, Mario Larangeira and Keisuke Tanaka. (2022). "Interhead Hydra: Two Heads are Better than One." MARBLE 2022. https://www.marble-conference.org/marble2022
Published in 3rd International Conference on Mathematical Research for Blockchain Economy, 2022
Sleeve 2! A Tweakable Sleeve
Recommended citation: David Chaum, Mario Larangeira and Mario Yaksetig. (2022). "Tweakable Sleeve: A Novel Sleeve Construction based on Tweakable Hash Functions." MARBLE 2022. https://www.marble-conference.org/marble2022
Published in 20th International Conference on Security and Cryptography, 2022
A novel way to approach Hot/Wold Wallet
Recommended citation: Rafael Dowsley, Mylene C. Q. Farias, Mario Larangeira, Anderson Nascimento and Jot Virdee. (2022). "A Spendable Cold Wallet from QR Video." SECRYPT 2022. https://secrypt.scitevents.org/
Published in 19th International Conference on Applied Cryptography and Network Security, 2021
WOTS up my Sleeve! A hidden trick!
Recommended citation: David Chaum, Mario Larangeira, Mario Yaksetig and William Carter. (2021). "WOTS+ up my Sleeve! A Hidden Secure Fallback for Cryptocurrency Wallets." ACNS 2021. http://sulab-sever.u-aizu.ac.jp/ACNS2021/
Published in 25th Financial Cryptography and Data Security, 2021
Payment Trees: Settlement of Channels
Recommended citation: Maxim Jourenko, Mario Larangeira and Keisuke Tanaka. (2021). "Payment Trees: Low Collateral Payments for Payment Channel Networks." FC 2021. https://eprint.iacr.org/2020/1313
Published in IEEE International Conference on Blockchain and Cryptocurrency, 2021
Proof of Work with Time and Memory
Recommended citation: Xiangyu Su, Mario Larangeira and Keisuke Tanaka. (2021). "How to Prove Work: With Time or Memory." ICBC IEEE 2021. https://icbc2021.ieee-icbc.org/
Published in 19th International Conference on Cryptology and Network Security, 2020
Virtual Channels are now available on Bitcoin!
Recommended citation: Maxim Jourenko, Mario Larangeira and Keisuke Tanaka. (2020). "Lightweight Virtual Payment Channels." CANS 2020. https://eprint.iacr.org/2020/998
Published in 12th Conference on Security and Cryptography for Networks, 2020
Security of wallets in proof-of-stake setting in the presence of stake pools.
Recommended citation: Dimitris Karakostas, Aggelos Kiayias and Mario Larangeira. (2020). " Account Management in Proof of Stake Ledgers." SCN 2020. https://eprint.iacr.org/2020/525
Published in Financial Cryptography, 2019
A general and universally composable protocol for card games on blockchain.
Recommended citation: Bernardo David, Rafael Dowsley and Mario Larangeira. (2019). " Royale: A Framework for Universally Composable Card Games with Financial Rewards and Penalties Enforcement." FC 2019. https://eprint.iacr.org/2018/157
Published in SCIS, 2019
A foundational work on the definition of accounts and stake pools in Proof-of-stake based ledgers.
Recommended citation: Dimitris Karakosstas, Aggelos Kiayias, Mario Larangeira. (2019). " Account Management and Stake Pools in Proof of Stake Ledgers." SCIS 2019. https://www.iwsec.org/scis/2019/program.html
Published in SCIS, 2019
A variant of the Anonymous payment channel (APC) definition which includes a time-out parameter.
Recommended citation: Kanta Kurazumi, Maxim Jourenko, Mario Larangeira, and Keisuke Tanaka. (2019). " A Timeout Anonymous Payment Channel for Decentralized Currencies." SCIS 2019. https://www.iwsec.org/scis/2019/program.html
Published in SCIS, 2019
A lighweight Virtual Payment Protocols which can be implemented on Bitcoin
Recommended citation: Maxim Jourenko, Keisuke Tanaka and Mario Larangeira. (2019). "Lightweight Virtual Payment Channels." SCIS 2019. https://www.iwsec.org/scis/2019/program.html
Published in SCIS, 2019
A survey on off-chain protocol ranging from payment channels, to routing, commit chains, and etc.
Recommended citation: Maim Jourenko, Kanta Kurazumi, Mario Larangeira and Keisuke Tanaka. (2019). " Notes on Offchain Protocols." SCIS 2019. https://www.iwsec.org/scis/2019/program.html
Published in SCIS, 2019
In this paper, we define a VDF variant, which we denote by verifiable sequential work (VSW)
Recommended citation: Xiangyu Su, Mario Larangeira and Keisuke Tanaka. (2019). " Verifiable Sequential Work with Trusted Generator." SCIS 2019. https://www.iwsec.org/scis/2019/program.html
Published in Financial Cryptography, 2018
An efficient blockchain based protocol for poker.
Recommended citation: Bernardo David, Rafael Dowsley and Mario Larangeira. (2018). " Kaleidoscope: An Efficient Poker Protocol with Payment Distribution and Penalty Enforcement." FC 2018. https://eprint.iacr.org/2017/899
Published in Cryblock, 2018
A blockchain based incentive framework for routing systems.
Recommended citation: Bernardo David, Rafael Dowsley and Mario Larangeira. (2018). " MARS: Monetized Ad-Hoc Routing Systems." Cryblock. https://dl.acm.org/doi/abs/10.1145/3211933.3211948?download=true
Published in ACISP, 2018
This work identifies a new class of card games which allow us to developed highly efficient card game protocols.
Recommended citation: Bernardo David, Rafael Dowsley and Mario Larangeira. (2018). " 21 - Bringing Down the Complexity: Fast Composable Protocols for Card Games Without Secret State." ACISP 2018. https://eprint.iacr.org/2018/303
Published in SCIS, 2018
Here we review Kaleidoscope and Royale two protocols for card games over blockchains.
Recommended citation: マリオラランジェラ、ベルナルドデヴィッド、ラファエルドスレイ. (2018). " カレイドスコープとロイヤーレ：ポーカーと一般的なカードゲームのブロックチェーンのプロトコル." SCIS 2018. https://www.iwsec.org/scis/2018/program.html
Published in SCIS, 2017
In this paper, we define a VDF variant, which we denote by verifiable sequential work (VSW)
Recommended citation: 原 啓祐, Mario Larangeira、圭介田中. (2017). " CryptoNoteに対するサイズ効率化." SCIS 2017. https://www.iwsec.org/scis/2017/program.html
Published in WISA, 2012
A security analysis on the non-programmable Random Oracle Model
Recommended citation: Mario Larangeira and Keisuke Tanaka. (2012). " Reduction-Centric Non-programmable Security Proof for the Full Domain Hash in the Random Oracle Model." WISA 2012. https://link.springer.com/chapter/10.1007/978-3-642-35416-8_10
Published in ProvSec, 2011
We explore the idea of introducing programmability in generic models.
Recommended citation: Mario Larangeira and Keisuke Tanaka. (2011). " Programmability in the Generic Ring and Group Models." ProvSec 2011. http://isyou.info/jisis/vol1/no23/jisis-2011-vol1-no23-05.pdf