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