research
∙
07/05/2023
Towards a Formal Verification of the Lightning Network with TLA+
Payment channel networks are an approach to improve the scalability of b...
share
research
∙
05/10/2023
Let It TEE: Asynchronous Byzantine Atomic Broadcast with n ≥ 2f+1
Asynchronous Byzantine Atomic Broadcast (ABAB) promises, in comparison t...
research
∙
04/09/2023
On Extend-Only Directed Posets and Derived Byzantine-Tolerant Replicated Data Types (Extended Version)
We uncover the extend-only directed posets (EDP) structure as a unificat...
research
∙
09/22/2021
On Conflict-Free Replicated Data Types and Equivocation in Byzantine Setups
We explore the property of equivocation tolerance for Conflict-Free Repl...
research
∙
07/04/2021
ETHTID: Deployable Threshold Information Disclosure on Ethereum
We address the Threshold Information Disclosure (TID) problem on Ethereu...
research
∙
06/23/2021
Advancing Protocol Diversity in Network Security Monitoring
With information technology entering new fields and levels of deployment...
research
∙
02/25/2021
On the Estimation of the Number of Unreachable Peers in the Bitcoin P2P Network by Observation of Peer Announcements
Bitcoin is based on a P2P network that is used to propagate transactions...
research
∙
11/12/2020
Analysis of the Matrix Event Graph Replicated Data Type
Matrix is a new kind of decentralized, topic-based publish-subscribe mid...
research
∙
10/16/2020
Fundamental Properties of the Layer Below a Payment Channel Network (Extended Version)
Payment channel networks are a highly discussed approach for improving s...
research
∙
12/09/2019
Attacks on Dynamic Protocol Detection of Open Source Network Security Monitoring Tools
Protocol detection is the process of determining the application layer p...
research
∙
10/14/2019
A Glimpse of the Matrix (Extended Version): Scalability Issues of a New Message-Oriented Data Synchronization Middleware
Matrix is a new message-oriented data synchronization middleware, used a...
research
∙
05/11/2018