Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Tiancheng Mai

dblp:354/8621 · also Tiancheng Michael Mai · DBLP profile ↗
← Back
4ranked-venue papers
0as first author
4since 2021 · last 2026
0009-0001-1945-1069ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Systems, architecture and hardware · 2 · 2 since 2021Security and privacy · 2 · 2 since 2021Theory of computation · 1 · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Network and information security
2 papers
Cryptographic protocols and secure computation · 92% Blockchain and cryptocurrency security · 8%
Theoretical computer science
1 paper
Distributed computing theory · 77% Computational complexity · 23%

Topics — the 6 heaviest of 7, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Cryptographic protocols and secure computation
distributed randomness
1.012026
Balanced and Adaptively Secure Asynchronous Common Coin and Byzantine Agreement With Sub-Quadratic Communication · PODC 2026
Distributed computing theory › fault tolerance › byzantine fault tolerance
byzantine agreement
1.012026
Balanced and Adaptively Secure Asynchronous Common Coin and Byzantine Agreement With Sub-Quadratic Communication · PODC 2026
Cryptographic protocols and secure computation › secure multiparty computation
adaptive security
0.812024
Scalable and Adaptively Secure Any-Trust Distributed Key Generation and All-hands Checkpointing · CCS 2024
Cryptographic protocols and secure computation › key management
distributed key generation
0.812024
Scalable and Adaptively Secure Any-Trust Distributed Key Generation and All-hands Checkpointing · CCS 2024
Computational complexity
communication complexity
0.312026
Balanced and Adaptively Secure Asynchronous Common Coin and Byzantine Agreement With Sub-Quadratic Communication · PODC 2026
Blockchain and cryptocurrency security › blockchain cryptography
blockchain-based key management
0.212024
Scalable and Adaptively Secure Any-Trust Distributed Key Generation and All-hands Checkpointing · CCS 2024

Methods — techniques the papers use, named apart from their topics

cryptographic protocol analysis · 2.0adaptive security · 2.0common coin · 0.8byzantine fault tolerance · 0.8any-trust group · 0.8
YearPublicationVenuePosition
2026 Balanced and Adaptively Secure Asynchronous Common Coin and Byzantine Agreement With Sub-Quadratic Communication
abstract
Distributed common randomness generation (i.e., the common coin problem) is a cornerstone of randomized distributed computing. While a long line of research has sought scalable solutions, the asynchronous setting remains a challenge. Specifically, while Blum et al. (TCC'21) achieved sub-quadratic communication complexity, their approach lacks “balance”: certain nodes must still send Ω(n) messages, creating a scalability bottleneck. Furthermore, their solution only tolerates a 1/3 - ε fraction of corrupted nodes, whereas the classic construction by Cachin et al. (PODC'00) tolerates up to 1/2 under the same setup assumptions.
Hanwen Feng 0001, Tiancheng Mai, Qiang Tang 0005
PODC2
2025 Faster Hash-based Multi-valued Validated Asynchronous Byzantine Agreement
abstract
Multi-valued Validated Byzantine Agreement (MVBA) is vital for asynchronous distributed protocols like asynchronous BFT consensus and distributed key generation, making performance improvements a long-standing goal. Existing communication-optimal MVBA protocols rely on computationally intensive public-key cryptographic tools, such as non-interactive threshold signatures, which are also vulnerable to quantum attacks. While hash-based MVBA protocols have been proposed to address these challenges, their higher communication overhead has raised concerns about practical performance. We present a novel MVBA protocol with adaptive security, relying exclusively on hash functions to achieve post-quantum security. Our protocol delivers near-optimal communication, constant round complexity, and significantly reduced latency compared to existing schemes, though it has sub-optimal resilience, tolerating up to 20% Byzantine corruptions instead of the typical 33%. For example, with n = 201 and input size 1.75 MB, it reduces latency by 81% over previous hash-based approaches.
Hanwen Feng 0001, Zhenliang Lu, Tiancheng Mai, Qiang Tang 0005
DSN3
2024 Scalable and Adaptively Secure Any-Trust Distributed Key Generation and All-hands Checkpointing
abstract
The classical distributed key generation protocols (DKG) are resurging due to their widespread applications in blockchain. While efforts have been made to improve DKG communication, practical large-scale deployments are still yet to come due to various challenges, including the heavy overhead (particularly broadcast) in adversarial cases. In this paper, we propose a practical DKG for DLog-based cryptosystems, which achieves (quasi-)linear computation and communication per-node cost with the help of a common coin, even in the face of the maximal amount of Byzantine nodes. Moreover, our protocol is secure against adaptive adversaries, which can corrupt less than half of all nodes. The key to our improvements lies in delegating the most costly operations to an Any-Trust group together with a set of techniques for adaptive security. Moreover, we present a generic transformer that enables us to efficiently deploy a conventional distributed protocol like our DKG, even when the participants have different weights.
Hanwen Feng 0001, Tiancheng Mai, Qiang Tang 0005
CCS2
2024 Approximating the Fréchet Distance When Only One Curve Is c-Packed
abstract
One approach to studying the Fréchet distance is to consider curves that satisfy realistic assumptions. By now, the most popular realistic assumption for curves is c-packedness. Existing algorithms for computing the Fréchet distance between c-packed curves require both curves to be c-packed. In this paper, we only require one of the two curves to be c-packed. Our result is a nearly-linear time algorithm that (1+ε)-approximates the Fréchet distance between a c-packed curve and a general curve in ℝ^d, for constant values of ε, d and c.
Joachim Gudmundsson, Tiancheng Mai, Sampson Wong
ISAAC2