Mario Larangeira, Ph.D.

Mario Larangeira, Ph.D.

Cryptographer at Input Output HK and Specially Appointed Associate Professor at Tokyo Institute of Technology

Posts by Collection

portfolio

publications

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

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

Bringing down the complexity

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

Kaleidoscope

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

Royale

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

Account Management in PoS

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

ICBC 2021

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/

Payment Trees in FC 2021

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

Hot/Cold Wallet in SECRYPT 2022

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/

‘Reputation at Stake!’ on ICISC 2022

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

‘Blockchain Fundamentals

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.

‘Scalable and Lightweight State-Channel Audits’ in CANS’24

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.

talks

SCIS 2019

Published:

We have presented our current work at SCIS 2019.

Panel at Brazilian Embassy in Tokyo

Published:

December, 2nd 2022 the Second Meeting of the Brazilian Diaspora in Science and Innovation happened at the Brazilian Embassy in Tokyo. I had the chance to join a panel to discuss the current situation of researchers in Japan.

Talk show about study in Japan at Kyodai Remittance

Published:

Me and Eunice joined a talk show organized by Antonio from the Kyodai Remittance, with the head of the Consulate General of Brazil in Tokyo Guilherme Patriota, Tiago BonTempo, Taís Ueta, Rodrigo Fernandes and Rafaela Yoshiy about studying and building a career in Japan.

NSS’2023

Published:

This week the International Conference on Network and System Security (NSS’23) happens and we have our work on distributed deep learning in the program. It is a joint work of me, Xiangyu Su and Keisuke Tanaka. Su is the main author and has introduced the main idea.

Su noticed that it is possible to harvest of a computational power from, say, of a proof of work protocol, in order to train models for machine learning. In order to do that we had to introduce new notions like “distributed proof-of-deep-learning”.

Basically, instead of “correct hash value” as in proof-of-work, the system trains models up until a certain suitable accuracy level in the learning curve. The paper is already available here and here. Please take a look.

Talk: 8-Year Collaboration Between IO and Tokyo Yech

Published:

We had a big joint event at Oookayama Campus organized by IOG and Tokyo Tech, soon to become Science Tokyo! Charles Hoskinson, the CEO of IOG, visited us to outline what have for the future in terms of research. I took the opportunity to review the role of our research group at Tokyo in the development of Cardano blockchain.

Presentation at CANS’24

Published:

This September Dimitris Karakostas presented our approach for the regulation on layer-2 in Cambridge. We have proposed a Hydra like protocol, i.e., multiuser payment channel, with audit capabilities. The full paper is here.

Attending CANS’24-Getting to know Newton’s Tree

Published:

When I moved to Sao José dos Campos to prepare to attend university (ITA) in Brazil, I heard from teachers that in some university somewhere they took seeds from Newton’s famous apple tree and planted a new tree in the campus.

teaching

MCS.T415

Graduate course, Tokyo Tech, Oookayama Campus, 2018

MCS.T415-Topics on Mathematical and Computing Science B (数理・計算科学特論B).

MCS.T512

Graduate course, Tokyo Tech, Oookayama Campus, 2019

MCS.T512-Topics on Mathematical and Computing Science C (数理・計算科学特論C).

Seminar 2019-07-02

Seminar, Tokyo Tech, Oookayama Campus, 2019

Seminar on VDF and and Payment Channels.

Seminar 2019-07-16

Seminar, Tokyo Tech, Oookayama Campus, 2019

Seminar on Speedy Murmurs and VDF/Random Oracle

Seminar 2019-07-30

Seminar, Tokyo Tech, Oookayama Campus, 2019

Seminar on Open Problems for Payment Channel Protocols and

Seminar 2019-08-09

Seminar, Tokyo Tech, Oookayama Campus, 2019

Discussion on Flare and adversary models for channels

Seminar 2019-10-04

Seminar, Tokyo Tech, Oookayama Campus, 2019

Work on submissions, and review of security proof

Seminar 2019-10-17

Seminar, Tokyo Tech, Oookayama Campus, 2019

Mizuuchi’s focused on privacy preserving consensus protocols

Seminar 2019-10-24

Seminar, Tokyo Tech, Oookayama Campus, 2019

Intensive work on lightweight payment channel protocol.

Seminar 2019-11-21

Seminar, Tokyo Tech, Oookayama Campus, 2019

Discussion about SCIS 2020 and new member

Seminar 2019-12-19

Seminar, Tokyo Tech, Oookayama Campus, 2019

Project on notions of privacy II

Seminar 2019-12-19

Seminar, Tokyo Tech, Oookayama Campus, 2019

First Seminar of the year: Notions of privacy III

MCS.T415

Graduate course, Online, 2020

MCS.T415-Topics on Mathematical and Computing Science B (数理・計算科学特論B).

Seminar on Stake Pools

Seminar, Online, 2020

Seminar about stake pool, more concretely on desirable properties of a stake pool.

Eltoo

Seminar, Online, 2020

Eltoo Payment Channel