Updated on 2025/09/03

写真a

 
REBELLO LARANGEIRA JUNIOR MARIO
 
Organization
School of Computing Specially Appointed Associate Professor
Title
Specially Appointed Associate Professor
External link

Degree

  • PhD ( 2013.3   Tokyo Institute of Technology )

Research Interests

  • Secure Multiparty Computation

  • Decentralization

  • Blockchain Systems

  • Layer-2 protocols

  • Privacy Enhancing Technologies

  • Random Oracle Model, Generic Group and Algebraic Model, Provable Security

  • Cryptography

Research Areas

  • Informatics / Information security  / Cryptography, Blockchain, MPC, PETs, Layer 2

  • Informatics / Computer system  / Privacy

Education

  • Tokyo Institute of Technology   Department of Mathematical and Computing Science   Computer Science

    2006.10 - 2008.9

    　 More details

    Country： Japan

    researchmap

  • Institute Tecnologico de Aeronautica   Computer Science Division   Computer engineering

    2000.1 - 2004.12

    　 More details

    Country： Brazil

    researchmap

Research History

  • Institute of Science Tokyo   Department of Mathematical and Computing Science   Specially Appointed Associate Professor   Specially Appointed Associate Professor

    2017.2

    　 More details

    Country：Japan

    researchmap

  • Input Output Global (IOG)   Research Division   Research Fellow

    2016.3

    　 More details

    Country：Japan

    researchmap

Professional Memberships

  • International Association for Cryptologic Research - IACR

    2009.4

    　 More details

Committee Memberships

  • USENIX 2026   Technical Program Committee  

    2025.1 - 2026.1   

    　 More details

    Committee type：Academic society

    researchmap

  • ACM Conference on Computer and Communication Security (CCS) 2026   Technical Program Committee  

    2025.1 - 2025.12   

    　 More details

    Committee type：Academic society

    researchmap

  • Financial Cryptography Conference 2026   Technical Program Committee  

    2025.1 - 2025.12   

    　 More details

    Committee type：Academic society

    researchmap

  • ACM Conference on Computer and Communication Security (CCS) 2025   Technical Program Committee  

    2024.1 - 2024.12   

    　 More details

    Committee type：Academic society

    researchmap

  • Science of Blockchain (SBC) 2025   Technical Program Committee  

    2024.1 - 2024.12   

    　 More details

    Committee type：Academic society

    researchmap

  • International Association for Cryptologic Research   International Association for Cryptologic Research  

    2009.4   

    　 More details

    Committee type：Academic society

    researchmap

▼display all

Papers

▼display all

Books

  • Mathematical Foundations for Post-Quantum Cryptography

    Tsuyoshi Takagi, Masato Wakayama, Noboru Kunihiro, Keisuke Tanaka, Kazufumi Kimoto, Momonari Kudo（ Role： ContributorBlockchain/Layer 2）

    2025.9  （ ISBN:9789819612178 ）

    　More details

  • Blockchains: A Handbook on Fundamentals, Platforms and Applications

    Sushmita Ruj, Salil S. Kanhere, Mauro Conti（ Role： ContributorInformation Security）

    Springer Nature  2024  （ ISBN:9783031321467 ）

    　More details

MISC

  • Bid-matching balancing fairness and trading amount in peer-to-peer energy trading systems

    YAO Yuan, 田村康将, DEFAGO Xavier, LARANGEIRA Mario, LARANGEIRA Mario, SU Xiangyu, 田中圭介

    電気学会電子・情報・システム部門大会(Web)   2023   2023

    　More details

  • Non-Programmable Weakened Random Oracles

    LARANGEIRA Mario, TANAKA Keisuke

    情報処理学会全国大会講演論文集   73rd ( 3 )   2011

    　More details

Presentations

  • Interview about research career in Japan Invited

    Mario Larangeira

    http://mario.report/talks/2023-02-08-talk  2023.2 

    　More details

    Language：English   Presentation type：Media coverage  

    researchmap

  • IO Research Team interview at Eurocrypt’24

    Mario Larangeira

    Eurocrypt'24 - http://mario.report/portfolio/2024-12-12-talk/  2024.5 

    　More details

    Language：English   Presentation type：Media coverage  

    researchmap

  • Rooted in research: presentation about the 8 year collaboration between IO Global and Tokyo Institute of Technology Invited

    Mario Larangeira, Maxim Jourenko, Xiangyu Su

    http://mario.report/talks/2024-09-11-talk  2024.9 

    　More details

    Language：English   Presentation type：Oral presentation (keynote)  

    researchmap

  • Panel at Brazilian Embassy about education and research Invited

    Mario Larangeira

    http://mario.report/talks/2022-12-02-talk  2022.12 

    　More details

    Language：English   Presentation type：Oral presentation (invited, special)  

    researchmap

  • Special lecture at University of Washington Invited

    Mario Larangeira

    http://mario.report/talks/2019-04-20-talk  2019.4 

    　More details

    Language：English   Presentation type：Public lecture, seminar, tutorial, course, or other speech  

    researchmap

  • The Classical Mental Poker Research in the Time of the Blockchain Invited

    Mario Larangeira - https://www.youtube.com/watch?v=_3BTQaXfVeg

    Information Technology and Computer Communications - ITCC 2020  2020 

    　More details

    Language：English   Presentation type：Oral presentation (keynote)  

    researchmap

  • Special lecture at National University of Pelotas/Brazil Invited

    Mario Larangeira

    http://mario.report/talks/2018-09-07-talk  2018.9 

    　More details

    Language：English   Presentation type：Oral presentation (invited, special)  

    researchmap

  • Hosted a panel in Binance Blockchain Week in Singapore Invited

    Mario Larangeira

    http://mario.report/talks/2019-01-22-talk  2019.1 

    　More details

    Language：English   Presentation type：Symposium, workshop panel (public)  

    researchmap

  • Decentralized Storage Network in the Extended UTXO Model

    Yuma Tamagawa(Department of Mathematical, Computing Sciences, School of Computing, Institute of, Science Tokyo, Xiangyu Su(Department of Mathematical, Computing Sciences, School of Computing, Institute of, Science Tokyo, Mario Larangeira(Department of Mathematical, Computing Sciences, School of Computing, Institute of, Science Tokyo, Input Outpu, Global, Keisuke Tanaka(Department of Mathematical, Computing Sciences, School of Computing, Institute of, Science Tokyo

    2025 Symposium on Cryptography and Information Security (SCIS)  2025.1 

    　More details

    Language：Japanese   Presentation type：Symposium, workshop panel (public)  

    researchmap

  • Cold (and Hot) Staking in Proof of Stake

    Mario Larangeira

    2025 Symposium on Cryptography and Information Security (SCIS)  2025.1 

    　More details

    Language：English   Presentation type：Symposium, workshop panel (public)  

    researchmap

  • PoDDL: A Provably Secure (Weight-Based) Blockchain Protocol via Proof-of-Useful-Work for Distributed Deep Learning Invited

    Xiangyu Su(Tokyo, Institute of Technology, Mario Larangeira(Inpu, Output HK, Tokyo Institute of Technology, Keisuke Tanaka(Tokyo, Institute of Technology

    2023 Symposium on Cryptography and Information Security  2023.1 

    　More details

    Language：English   Presentation type：Symposium, workshop panel (public)  

    researchmap

  • A Spendable Cold Wallet from QR Code Invited

    Rafael Dowsley(Monash University, Mylene C.Q. Farias, U, iversity of Brasilia, Mario Larangeira(Tokyo, Institute of Technology/IOG, Anderson Nascimento(University of Washington, Jot Virdee(University of Washington

    2023 Symposium on Cryptography and Information Security  2023.1 

    　More details

    Language：English   Presentation type：Symposium, workshop panel (public)  

    researchmap

  • The Sleeve Framework: Hidden Secure Fallback for Cryptocurrency Wallets

    David Chaum(XX Network, Mario Larangeira(Tokyo, Institute of Technology/IOG, Mario Yaksetig, iversity of Porto, XX Network

    2023 Symposium on Cryptography and Information Security  2023.1 

    　More details

    Language：English   Presentation type：Symposium, workshop panel (public)  

    researchmap

  • Auditable Attribute-Based Credentials Scheme and Its Application in Contact Tracing

    Pengfei Wang(Tokyo, Institute of Technology, Xiangyu Su(Tokyo, Institute Of Technology, Mario Larangeira(Tokyo Institute, Of Technology, Iohk, Keisuke Tanaka(Tokyo, Institute Of Technology

    2024 Symposium on Cryptography and Information Security (SCIS)  2024.1 

    　More details

    Language：English   Presentation type：Symposium, workshop panel (public)  

    researchmap

  • Consensus Based on Proof-of-Optimal-Work and Its Application to Transactive Energy Systems

    Xiangyu Su(Tokyo, Institute of Technology, Xavier Defago(Tokyo, Institute of Technology, Ryoma Fujimoto(Tokyo, Institute of Technology, Hiroki Konaka(Mitsubishi Electric, Mario Larangeira(IOHK, Tokyo Institute of Technology, Kazuyuki Mori(Mitsubishi Electric, Takuya Oda(Tokyo, Institute of Technology, Yuta Okumura(Mitsubishi Electric, Yasumasa Tamura(Tokyo, Institute of Technology, Keisuke Tanaka(Tokyo, Institute of Technology

    2021 Symposium on Cryptography and Information Security  2021.1 

    　More details

    Language：English   Presentation type：Symposium, workshop panel (public)  

    researchmap

  • An Anonymous Credential System with Mixer Techniques

    Tomonori Mizuuchi(Tokyo, Institute of Technology, Mario Larangeira(Tokyo, Institute of Technology, IOHK, Keisuke Tanaka(Tokyo, Institute of Technology

    2021 Symposium on Cryptography and Information Security  2021.1 

    　More details

    Language：English   Presentation type：Symposium, workshop panel (public)  

    researchmap

  • Contact Tracing from BLS Signature with Updatable Public Keys

    Xiangyu Su(Tokyo, Institute of Technology, Pengfei Wang(Tokyo, Institute of Technology, Maxim Jourenko(Tokyo, Institute of Technology, Mario Larangeira(IOHK, Tokyo Institute of Technology, Keisuke Tanaka(Tokyo, Institute of Technology

    2021 Symposium on Cryptography and Information Security  2021.1 

    　More details

    Language：English   Presentation type：Symposium, workshop panel (public)  

    researchmap

  • Environmental Adaptive Privacy Preserving Contact Tracing System for Respiratory Infectious Diseases

    Pengfei Wang(Tokyo, Institute of Technology, Xiangyu Su(Tokyo, Institute of Technology, Maxim Jourenko(Tokyo, Institute of Technology, Zixian Jiang, Kyoto University, Mario Larangeira(Tokyo, Institute of Technology, Keisuke Tanaka(Tokyo, Institute of Technology

    2021 Symposium on Cryptography and Information Security  2021.1 

    　More details

    Language：English   Presentation type：Symposium, workshop panel (public)  

    researchmap

  • Account Management and Stake Pools in Proof of Stake Ledgers

    Dimitris Karakostas, U, iversity of Edinburgh/IOHK)、Aggelos Kiayias(University of Edinburgh/IOHK, ○Mario Larangeira, IOHK

    2019 Symposium on Cryptography and Information Security  2019.1 

    　More details

    Language：English   Presentation type：Symposium, workshop panel (public)  

    researchmap

  • Faster Scriptless Multi-Hop Payment for Bitcoin

    Kanta Kurazumi(Tokyo, Institute of Technology, Mario Larangeira(Tokyo, Institute of Technology, IOHK, Keisuke Tanaka(Tokyo, Institute of Technology

    2020 Symposium on Cryptography and Information Security  2020.1 

    　More details

    Language：English   Presentation type：Symposium, workshop panel (public)  

    researchmap

  • Payment Trees: Low Collateral Payments for Payment Channel Networks

    Maxim Jourenko, Mario Larangeira, IOHK, Keisuke Tanaka

    2021 Symposium on Cryptography and Information Security  2021.1 

    　More details

    Language：English   Presentation type：Symposium, workshop panel (public)  

    researchmap

  • Interhead Hydra: Two Heads are Better than One

    Maxim Jourenko, Mario Larangeira, 東京工業大学. IOHK, Keisuke Tanaka

    2022 Symposium on Cryptography and Information Security  2022.1 

    　More details

    Language：English   Presentation type：Symposium, workshop panel (public)  

    researchmap

  • Conclave: A Collective Stake Pool Protocol

    Dimitris Karakostas, U, iversity of Edinburgh, Input Outpu, Hong Kong, Aggelos Kiayias(University of Edinburgh, Input Outpu, Hong Kong, Mario Larangeira

    2022 Symposium on Cryptography and Information Security  2022.1 

    　More details

    Language：English   Presentation type：Symposium, workshop panel (public)  

    researchmap

  • Cross-Ledger Communication in Layer 2

    Maxim Jourenko, IOG, Mario Larangeira, IOG

    2023 Symposium on Cryptography and Information Security  2023.1 

    　More details

    Language：English   Presentation type：Symposium, workshop panel (public)  

    researchmap

  • Kaleidoscope and Royale: Blockchain based Protocols for Mental Poker and Card Games

    Mario Larangeira, Bernardo David, Rafael Dowsley

    2018 Symposium on Cryptography and Information Security  2018.1 

    　More details

    Language：English   Presentation type：Symposium, workshop panel (public)  

    researchmap

  • Verifiable Sequential Work with Trusted Generator

    Xiangyu Su(Tokyo, Institute of Technology, Mario Larangeira(IOHK, Tokyo Institute of Technology, Keisuke Tanaka(Tokyo, Institute of Technology

    2019 Symposium on Cryptography and Information Security  2019.1 

    　More details

    Language：English   Presentation type：Symposium, workshop panel (public)  

    researchmap

  • Notes on Offchain Protocols

    Maxim Jourenko(Tokyo, Institute of Technology, Kanta Kurazumi(Tokyo, Institute of Technology, Mario Larangeira(Tokyo, Institute of Technology, IOHK, Keisuke Tanaka(Tokyo, Institute of Technology

    2019 Symposium on Cryptography and Information Security  2019.1 

    　More details

    Language：English   Presentation type：Symposium, workshop panel (public)  

    researchmap

  • Lightweight Virtual Payment Channels

    Maxim Jourenko(Tokyo, Institute of Technology, Mario Larangeira(Tokyo, Institute of Technology, IOHK, Keisuke Tanaka(Tokyo, Institute of Technology

    2019 Symposium on Cryptography and Information Security  2019.1 

    　More details

    Language：English   Presentation type：Symposium, workshop panel (public)  

    researchmap

  • A Timeout Anonymous Payment Channel for Decentralized Currencies

    Kanta Kurazumi(Tokyo, Institute of Technology, Maxim Jourenko(Tokyo, Institute of Technology, Mario Larangeira(Tokyo, Institute of Technology, IOHK, Keisuke Tanaka(Tokyo, Institute of Technology

    2019 Symposium on Cryptography and Information Security  2019.1 

    　More details

    Language：English   Presentation type：Symposium, workshop panel (public)  

    researchmap

▼display all

Awards

  • 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)

    2023.12   IEEE   “Reducing Latency of DAG-Based Consensus in the Asynchronous Setting via the UTXO Model”

    IEEE Best Paper Award, for “Reducing, Latency of, DAG-Based Consensus in the, Asynchronous Setting via the, UTXO Model”, IEEE International, Symposium on Parallel, Distributed, Processing with Applications, IEEE-ISPA) as part of th, National CyberSecurity Center International Congress

    　More details

Research Projects

  • Extended Security Functionalities for Proof-of-Stake Wallets

    Grant number：21K11882  2021.4 - 2025.3

    Japan Society for the Promotion of Science  Grants-in-Aid for Scientific Research  Grant-in-Aid for Scientific Research (C)

    　 More details

    Grant amount：\3900000 （ Direct Cost: \3000000 、 Indirect Cost：\900000 ）

    researchmap

  • IOG/ Institute of Science Blockchain Lab

    2021.1

    Input Output Global (IOG) 

    Research laboratory based in Oookayama Campus with goal of developing blockchain and cryptographic systems at large.

    　 More details

  • Input Output Cryptocurrency Collaborative Research Chair

    2017.1 - 2020.12

    Input Output Hong Kong (IOHK) 

    Research chair jointly created with Tokyo, Institute of Technology in Oookayama Campus. The research projects involved the development of blockchain systems such as consensus protocols based on proof of stake, credentials, and secure cryptographic protocols. More in https://www.titech.ac.jp/news/2017/037581

    　 More details

    Authorship：Principal investigator 

    researchmap