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

Mads Frederik Madsen

dblp:252/7909 · DBLP profile ↗
← Back
1ranked-venue papers
1as first author
0since 2021 · last 2020
—ORCID · none

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

Systems, architecture and hardware · 1 · 1 first-author

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.

Theoretical computer science
1 paper
Distributed computing theory · 100%

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

TopicWeightPapersLastEvidence papers
Distributed computing theory › fault tolerance › byzantine fault tolerance
byzantine agreement
0.412020
On the Subject of Non-Equivocation: Defining Non-Equivocation in Synchronous Agreement Systems · PODC 2020
Distributed computing theory › fault tolerance
byzantine fault tolerance
0.412020
On the Subject of Non-Equivocation: Defining Non-Equivocation in Synchronous Agreement Systems · PODC 2020
Distributed computing theory
distributed algorithms
0.412020
On the Subject of Non-Equivocation: Defining Non-Equivocation in Synchronous Agreement Systems · PODC 2020

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

round complexity lower bounds · 0.4
YearPublicationVenuePosition
2020 On the Subject of Non-Equivocation: Defining Non-Equivocation in Synchronous Agreement Systems
abstract
We study non-equivocation in synchronous agreement protocols: the restriction on faulty processes that they cannot act differently towards distinct non-faulty processes. Guarantees of non-equivocation have been used to provide improved fault tolerance in agreement protocols, and various mechanisms for achieving it have been proposed. However, the exact meaning of non-equivocation varies subtly in the literature. In this paper, we propose two different formal notions of non-equivocation: strong and weak. We define both as fault models for synchronous agreement protocols with reliable channels, and we show how the two models yield distinct bounds for the minimal number of communication rounds required and the maximum number of faulty processes tolerable to achieve agreement: 1 round, n > t for strong non-equivocation; and t + 1 rounds, n > 2t for weak non-equivocation. This makes weak non-equivocation the only fault model with a lower bound on fault tolerance of n > 2t for broadcast agreement and interactive consistency, confirming the folklore knowledge that equivocation is, in a sense, the most critical of the Byzantine faults. Finally, we show how the weak and strong non-equivocation fault models relate to well-known agreement problems: strong non-equivocation corresponds to Byzantine broadcast and weak non-equivocation to crusader agreement.
Mads Frederik Madsen, Søren Debois
PODC1