Rchr
J-GLOBAL ID：202001020014514306
Update date: Sep. 02, 2025
Larangeira Mario
Larangeira Mario | Larangeira Mario
Affiliation and department：
Job title：
Specially Appointed Associate Professor
Other affiliations (1)：
-
Input Output Global (IOG)
IO Research
Research Fellow
Research field (2)：
Computer systems
, Information security
Research keywords (7)：
Cryptography
, Layer-2 protocols
, Blockchain Systems
, Decentralization
, Secure Multiparty Computation
, Privacy Enhancing Technologies
, Random Oracle Model, Generic Group and Algebraic Model, Provable Security
Research theme for competitive and other funds (3)：
- 2021 - 2025 Extended Security Functionalities for Proof-of-Stake Wallets
- 2021 - IOG/ Institute of Science Blockchain Lab
- 2017 - 2020 Input Output Cryptocurrency Collaborative Research Chair
Papers (53)：
-
Maxim Jourenko, Xiangyu Su, Adam Blatchley Hansen, Mario Larangeira. Universally Composable Treatment of Multi-Party Isomorphic State Channels. IACR Cryptol. ePrint Arch. 2025. 2025. 1517
-
Xiangyu Su, Yuma Tamagawa, Mario Larangeira, Keisuke Tanaka. Adaptively Secure Blockchain-Aided Decentralized Storage Networks: Formalization and Generic Construction. IACR Cryptol. ePrint Arch. 2025. 2025. 887-887
-
Mario Larangeira. Secure and Practical Cold (and Hot) Staking. SECRYPT. 2025. 339-346
-
Xiangyu Su, Xavier Défago, Mario Larangeira, Kazuyuki Mori, Takuya Oda, Yasumasa Tamura, Keisuke Tanaka. Double Auction Meets Blockchain: Consensus from Scored Bid-Assignment. ACNS (1). 2025. 153-183
-
Pengfei Wang, Xiangyu Su, Mario Larangeira, Keisuke Tanaka. Auditable Attribute-Based Credentials Scheme and Its Application in Contact Tracing. Applied Cryptography and Network Security. 2024. 88-118
ｍore...
MISC (2)：
Books (2)：
-
Mathematical Foundations for Post-Quantum Cryptography
2025 ISBN:9789819612178
-
Blockchains: A Handbook on Fundamentals, Platforms and Applications
Springer Nature 2024 ISBN:9783031321467
Lectures and oral presentations (29)：
-
Cold (and Hot) Staking in Proof of Stake
(2025 Symposium on Cryptography and Information Security (SCIS) 2025)
-
Decentralized Storage Network in the Extended UTXO Model
(2025 Symposium on Cryptography and Information Security (SCIS) 2025)
-
Rooted in research: presentation about the 8 year collaboration between IO Global and Tokyo Institute of Technology
(http://mario.report/talks/2024-09-11-talk 2024)
-
IO Research Team interview at Eurocrypt’24
(Eurocrypt'24 - http://mario.report/portfolio/2024-12-12-talk/ 2024)
-
Auditable Attribute-Based Credentials Scheme and Its Application in Contact Tracing
(2024 Symposium on Cryptography and Information Security (SCIS) 2024)
ｍore...
Education (2)：
- 2006 - 2008 Tokyo Institute of Technology Department of Mathematical and Computing Science Computer Science
- 2000 - 2004 Institute Tecnologico de Aeronautica Computer Science Division Computer engineering
Professional career (1)：
- PhD (Tokyo Institute of Technology)
Work history (2)：
- 2017/02 - 現在 Institute of Science Tokyo Department of Mathematical and Computing Science Specially Appointed Associate Professor
- 2016/03 - 現在 Input Output Global (IOG) Research Division
Committee career (6)：
- 2009/04 - 現在 International Association for Cryptologic Research International Association for Cryptologic Research
- 2025/01 - 2026/01 USENIX 2026 Technical Program Committee
- 2025/01 - 2025/12 Financial Cryptography Conference 2026 Technical Program Committee
- 2025/01 - 2025/12 ACM Conference on Computer and Communication Security (CCS) 2026 Technical Program Committee
- 2024/01 - 2024/12 Science of Blockchain (SBC) 2025 Technical Program Committee
- 2024/01 - 2024/12 ACM Conference on Computer and Communication Security (CCS) 2025 Technical Program Committee
Show all
Awards (1)：
- 2023/12 - IEEE 2023 IEEE Best Paper Award for “Reducing Latency of DAG-Based Consensus in the Asynchronous Setting via the UTXO Model” 21st IEEE International Symposium on Parallel and Distributed Processing with Applications (IEEE-ISPA) “Reducing Latency of DAG-Based Consensus in the Asynchronous Setting via the UTXO Model”
Association Membership(s) (1)：
International Association for Cryptologic Research - IACR
