VLDB 2026 Research / reviewers in the wild / expert
Mario Larangeira
dblp:121/4529
· DBLP profile ↗
12ranked-venue papers
1as first author
10since 2021 · last 2025
0000-0001-7168-898XORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Security and privacy · 12 · 1 first-author · 10 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Double Auction Meets Blockchain: Consensus from Scored Bid-Assignment
Xiangyu Su, Xavier Défago, Mario Larangeira, Kazuyuki Mori, Takuya Oda, Yasumasa Tamura, Keisuke Tanaka |
ACNS (1) | 3 |
| 2025 | Secure and Practical Cold (and Hot) Staking
Mario Larangeira |
SECRYPT | 1 |
| 2024 | Auditable Attribute-Based Credentials Scheme and Its Application in Contact Tracing
Xiangyu Su, Mario Larangeira, Keisuke Tanaka |
ACNS (1) | 3 |
| 2024 | Scalable and Lightweight State-Channel Audits
Christian Badertscher, Maxim Jourenko, Dimitris Karakostas, Mario Larangeira |
CANS (1) | 4 |
| 2023 | State Machines Across Isomorphic Layer 2 Ledgers
Maxim Jourenko, Mario Larangeira |
FC | 2 |
| 2023 | Provably Secure Blockchain Protocols from Distributed Proof-of-Deep-LearningabstractProof-of-useful-work (PoUW), an alternative to the widely used proof-of-work (PoW), aims to re-purpose the network’s computing power. Namely, users evaluate meaningful computational problems, e.g., solving optimization problems, instead of computing numerous hash function values as in PoW. A recent approach utilizes the training process of deep learning as “useful work”. However, these works lack security analysis when deploying them with blockchain-based protocols, let alone the informal and over-complicated system design. This work proposes a distributed proof-of-deep-learning (D-PoDL) scheme concerning PoUW’s requirements. With a novel hash-traininßg-hash structure and model-referencing mechanism, our scheme is the first deep learning-based PoUW scheme that enables achieving better accuracy distributively. Next, we introduce a transformation from the D-PoDL scheme to a generic D-PoDL blockchain protocol which can be instantiated with two chain selection rules, i.e., the longest-chain rule and the weight-based blockchain framework (LatinCrypt’ 21). This work is the first to provide formal proofs for deep learning-involved blockchain protocols concerning the robust ledger properties, i.e., chain growth, chain quality, and common prefix. Finally, we implement the D-PoDL scheme to discuss the effectiveness of our design. Xiangyu Su, Mario Larangeira, Keisuke Tanaka |
NSS | 2 |
| 2022 | A Spendable Cold Wallet from QR VideoabstractHot/cold wallet refers to a widely used paradigm to enhance the security level of cryptocurrency applications that was proposed on Bitcoin Improvement Proposal 32. In a nutshell, after performing an initial setup in which the hot wallet receives partial information of the cold wallet in order to hierarchically generate (transaction receiving) addresses, the cold wallet stays offline, whereas the hot wallet is kept online. The initial transferred information enables the hot wallet to generate receiving addresses for both wallets, but it can only spend its own funds, i.e., it cannot spend the funds in the cold wallet. This design conveniently mimics money storage in daily life: pocket money is kept in a less safe location, e.g., a regular wallet, while life savings are kept in a more safe environment, e.g., banking account. Note that the funds that land in offline addresses cannot be spent if the cold wallet is kept permanently offline. We propose a protocol and a technical solution to spend funds from a cold wallet without physically connecting it to any network. We designed and implemented a prototype for a system based on Optical Camera Communication (OCC) in a screen to camera setting, which can receive messages from a computer screen at the rate of over 150kB per second. Our system consists of a sequence of QR codes – a QR video. Our solution minimizes the possible attack vectors, including malware, by relying on optical communication yet providing a larger bandwidth than regular QR code based solutions. Rafael Dowsley, Mylène C. Q. Farias, Mario Larangeira, Anderson Nascimento, Jot Virdee |
SECRYPT | 3 |
| 2021 | W-OTS+ Up My Sleeve! A Hidden Secure Fallback for Cryptocurrency Wallets
David Chaum, Mario Larangeira, Mario Yaksetig, William Carter |
ACNS (1) | 2 |
| 2021 | Conclave: A Collective Stake Pool Protocol
Dimitris Karakostas, Aggelos Kiayias, Mario Larangeira |
ESORICS (1) | 3 |
| 2021 | Turn-Based Communication Channels
Carlo Brunetta, Mario Larangeira, Bei Liang, Aikaterini Mitrokotsa, Keisuke Tanaka |
ProvSec | 2 |
| 2020 | Lightweight Virtual Payment Channels
Maxim Jourenko, Mario Larangeira, Keisuke Tanaka |
CANS | 2 |
| 2018 | 21 - Bringing Down the Complexity: Fast Composable Protocols for Card Games Without Secret State
Bernardo Machado David, Rafael Dowsley, Mario Larangeira |
ACISP | 3 |