5 citations · 13 across the 8 of their papers we have counts for
11 papers
Mitigating Front-Running Attacks through Fair and Resilient Transaction Dissemination
Wassim Yahyaoui, Joachim Bruneau-Queyreix, Jérémie Decouchant +1
In modern blockchains, efficient, fair, and faulttolerant information dissemination is critical for performance and security. Several stages of the transaction lifecycle are affect…
TACO: A Toolsuite for the Verification of Threshold Automata
Paul Eichler, Tom Baumeister, Mouhammad Sakr +3
We present TACO, a toolsuite for the development and automatic verification of fault-tolerant and threshold-based distributed algorithms. Our toolsuite implements three approaches…
Defending Event-Triggered Systems against Out-of-Envelope Environments
Marcus Völp, Mohammad Ibrahim Alkoudsi, Azin Bayrami Asl +3
The design of real-time systems is based on assumptions about environmental conditions in which they will operate. We call this their safe operational envelope. Violation of these…
Tolerating Disasters with Hierarchical Consensus
Wassim Yahyaoui, Joachim Bruneau-Queyreix, Jérémie Decouchant +1
Geo-replication provides disaster recovery after catastrophic accidental failures or attacks, such as fires, blackouts or denial-of-service attacks to a data center or region. Natu…
Parameterized Verification of Round-based Distributed Algorithms via Extended Threshold Automata
Tom Baumeister, Paul Eichler, Swen Jacobs +2
Threshold automata are a computational model that has proven to be versatile in modeling threshold-based distributed algorithms and enabling their completely automatic parameterize…
Automatic Repair and Deadlock Detection for Parameterized Systems
Swen Jacobs, Mouhammad Sakr, Marcus Völp
We present an algorithm for the repair of parameterized systems. The repair problem is, for a given process implementation, to find a refinement such that a given safety property i…