Resume

Education

Ph.D. Computer Science (Cryptography), Tokyo Institute of Technology/Japan, 2013
M.S. Computer Science, Tokyo Institute of Technology/Japan, 2008
Computer Engineer, Aeronautical Institute of Technology (ITA)/Brasil, 2004

Work experience

February 2017-Present: Specially Appointed Associate Professor
- Tokyo Institute of Technology
- Department of Mathematical and Computing Sciences
March 2016-Present: Research Fellow/Manager
- Input Output HK (IOHK)/Tokyo -Japan
June 2012-February 2016: System Engineer
- Bank of Brazil/Tokyo-Japan
July 2005-March 2006: Product Development Engineer
- Embraer S.A. /Sao José dos Campos-Brasil

Achievements/Skils

Languages:
- English
- Portuguese
- Japanese
Creation of the “Input Output Hong Kong Cryptocurrency Collaborative Research Chair” at Tokyo Institute of Technology
Monbukagakusho Scholarship - Ministry of Education, Culture, Sports, Science and Technology of Japan (April 2006 - September 2011)
Best Computer Engineering graduation project of the Aeronautical Institute of Technology (ITA) in 2004

Publications

‘Provably Secure Blockchain Protocols from Distributed Proof-of-Deep-Learning’ in NSS’23

Xiangyu Su, Mario Larangeira and Keisuke Tanaka. (2023). "Provably Secure Blockchain Protocols from Distributed Proof-of-Deep-Learning." NSS 2023.

‘Maravedí: A Secure and Practical Protocol to Trade Risk for Instantaneous Finality’ on AFRICACRYPT 2023

Maxim Jourenko and Mario Larangeira. (2023). "Maravedí: A Secure and Practical Protocol to Trade Risk for Instantaneous Finality." AFRICACRYPT 2023.

‘State Machines across Isomorphic Layer 2 Ledgers’ on FC 2023

Maxim Jourenko and Mario Larangeira. (2023). "State Machines across Isomorphic Layer 2 Ledgers." FC 2023.

‘WOTSwana: The generalization of Sleeve’ on ICISC 2022

Mario Larangeira. (2022). "Reputation at Stake! A Trust Layer overDecentralized Ledger for Multiparty Computation and Reputation-Fair Lottery." ICISC 2022.

‘Reputation at Stake!’ on ICISC 2022

Mario Larangeira. (2022). "Reputation at Stake! A Trust Layer overDecentralized Ledger for Multiparty Computation and Reputation-Fair Lottery." ICISC 2022.

‘Interhead Hydra’ on MARBLE 2022

Maxim Jourenko, Mario Larangeira and Keisuke Tanaka. (2022). "Interhead Hydra: Two Heads are Better than One." MARBLE 2022.

‘Tweakable Sleeve’ on MARBLE 2022

David Chaum, Mario Larangeira and Mario Yaksetig. (2022). "Tweakable Sleeve: A Novel Sleeve Construction based on Tweakable Hash Functions." MARBLE 2022.

Hot/Cold Wallet in SECRYPT 2022

Rafael Dowsley, Mylene C. Q. Farias, Mario Larangeira, Anderson Nascimento and Jot Virdee. (2022). "A Spendable Cold Wallet from QR Video." SECRYPT 2022.

‘WOTS up my sleeve!’ on ACNS 2021

David Chaum, Mario Larangeira, Mario Yaksetig and William Carter. (2021). "WOTS+ up my Sleeve! A Hidden Secure Fallback for Cryptocurrency Wallets." ACNS 2021.

Payment Trees in FC 2021

Maxim Jourenko, Mario Larangeira and Keisuke Tanaka. (2021). "Payment Trees: Low Collateral Payments for Payment Channel Networks." FC 2021.

ICBC 2021

Xiangyu Su, Mario Larangeira and Keisuke Tanaka. (2021). "How to Prove Work: With Time or Memory." ICBC IEEE 2021.

Lightweight Virtual Channels in CANS 2020

Maxim Jourenko, Mario Larangeira and Keisuke Tanaka. (2020). "Lightweight Virtual Payment Channels." CANS 2020.

Account Management in PoS

Dimitris Karakostas, Aggelos Kiayias and Mario Larangeira. (2020). " Account Management in Proof of Stake Ledgers." SCN 2020.

Royale

Bernardo David, Rafael Dowsley and Mario Larangeira. (2019). " Royale: A Framework for Universally Composable Card Games with Financial Rewards and Penalties Enforcement." FC 2019.

Account Management and Stake Pools in Proof of Stake Ledgers

Dimitris Karakosstas, Aggelos Kiayias, Mario Larangeira. (2019). " Account Management and Stake Pools in Proof of Stake Ledgers." SCIS 2019.

A Timeout Anonymous Payment Channel for Decentralized Currencies

Kanta Kurazumi, Maxim Jourenko, Mario Larangeira, and Keisuke Tanaka. (2019). " A Timeout Anonymous Payment Channel for Decentralized Currencies." SCIS 2019.

Lightweight Virtual Payment Channels

Maxim Jourenko, Keisuke Tanaka and Mario Larangeira. (2019). "Lightweight Virtual Payment Channels." SCIS 2019.

Notes on Offchain Protocols

Maim Jourenko, Kanta Kurazumi, Mario Larangeira and Keisuke Tanaka. (2019). " Notes on Offchain Protocols." SCIS 2019.

Verifiable Sequential Work with Trusted Generator

Xiangyu Su, Mario Larangeira and Keisuke Tanaka. (2019). " Verifiable Sequential Work with Trusted Generator." SCIS 2019.

Kaleidoscope

Bernardo David, Rafael Dowsley and Mario Larangeira. (2018). " Kaleidoscope: An Efficient Poker Protocol with Payment Distribution and Penalty Enforcement." FC 2018.

MARS

Bernardo David, Rafael Dowsley and Mario Larangeira. (2018). " MARS: Monetized Ad-Hoc Routing Systems." Cryblock.

Bringing down the complexity

Bernardo David, Rafael Dowsley and Mario Larangeira. (2018). " 21 - Bringing Down the Complexity: Fast Composable Protocols for Card Games Without Secret State." ACISP 2018.

カレイドスコープとロイヤーレ：ポーカーと一般的なカードゲームのブロックチェーンのプロトコル

マリオラランジェラ、ベルナルドデヴィッド、ラファエルドスレイ. (2018). " カレイドスコープとロイヤーレ：ポーカーと一般的なカードゲームのブロックチェーンのプロトコル." SCIS 2018.

CryptoNoteに対するサイズ効率化

原　啓祐, Mario Larangeira、圭介田中. (2017). " CryptoNoteに対するサイズ効率化." SCIS 2017.

Non-programmable Security Proof for FDH

Mario Larangeira and Keisuke Tanaka. (2012). " Reduction-Centric Non-programmable Security Proof for the Full Domain Hash in the Random Oracle Model." WISA 2012.