Publications

Arian Baloochestani Asl, Leander Jehl (2023). Eiffel: Extending Formal Verification of Distributed Algorithms to Utility Analysis. In Brains'2023.

PDF Cite Project DOI

Hanish Gogada, Hein Meling, Leander Jehl, John Ingve Olsen (2023). An Extensible Framework for Implementing and Validating Byzantine Fault-Tolerant Protocols. In ApPLIED 2023.

PDF Cite Code Project Project DOI

Christian Berger, Signe Schwarz-Rüsch, Arne Vogel, Kai Bleeke, Leander Jehl, Hans P. Reiser, Rüdiger Kapitza (2023). SoK: Scalability Techniques for BFT Consensus.. In ICBC'2023.

PDF Cite Project DOI

Lennart Almstedt, Kai Bleeke, Mohammad Mahhouk, Leander Jehl, Rüdiger Kapitza, Lars Wolf (2023). ContractBox: Realizing accountable data sharing on the edge using a small scale blockchain. In Comp. Networks.

Cite Project DOI

Arian Baloochestani Asl, Leander Jehl, Hein Meling (2022). Rebop: Reputation-Based Incentives in Committee-Based Blockchains. In DAIS'2022.

PDF Cite Project Project DOI

Vahid Heidaripour Lakhani, Leander Jehl, Rinke Hendriksen, Vero Estrada-Galiñanes (2022). Fair Incentivization of Bandwidth Sharing in Decentralized Storage Networks. In DINPS'22.

PDF Cite Project Project DOI