12 citations · 27 across the 11 of their papers we have counts for
Showing 2023Show all
3 papers · 1 filter
cs.LO2023★ 2 cited
Towards a Formal Verification of the Lightning Network with TLA+
Matthias Grundmann, Hannes Hartenstein
Payment channel networks are an approach to improve the scalability of blockchain-based cryptocurrencies. Because payment channel networks are used for transfer of financial value,…
cs.DC2023★ 2 cited
Let It TEE: Asynchronous Byzantine Atomic Broadcast with
Marc Leinweber, Hannes Hartenstein
Asynchronous Byzantine Atomic Broadcast (ABAB) promises simplicity in implementation as well as increased performance and robustness in comparison to partially synchronous approach…
cs.DC2023★ 1 cited
On Extend-Only Directed Posets and Derived Byzantine-Tolerant Replicated Data Types (Extended Version)
Florian Jacob, Hannes Hartenstein
We uncover the extend-only directed posets (EDP) structure as a unification of recently discussed DAG-based Byzantine-tolerant conflict-free replicated data types (CRDT). We also s…