Leander Nikolaus Jehl

Praveensankar Manimaran; Thiago Garrett; Leander Nikolaus Jehl; Roman Vitenberg (2025) Decentralization trends in identity management: From federated to Self-Sovereign Identity Management Systems. I: Computer Science Review. ISSN 1574-0137. Volum 58. DOI: 10.1016/j.cosrev.2025.100776

Lennart Almstedt; Leander Jehl; Lars Wolf (2025) ImageBox: Small-Scale Blockchain-Aided Trusted Machine Learning Inference. I: 2024 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops). ISSN 2766-8576. DOI: 10.1109/percomworkshops65533.2025.00032

Arian Baloochestani Asl; Hanish Gogada; Leander Jehl; Hein Meling (2024) Iniva: Inclusive and Incentive-compatible Vote Aggregation. I: Julia Lawall; Marc Dacier, 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE (Institute of Electrical and Electronics Engineers). ISBN 9798350341058. DOI: 10.1109/DSN58291.2024.00050

Vahid Heidaripour Lakhani; Arman Babaei; Leander Jehl; Georgy Ishmaev; Vero Estrada-Galiñanes (2024) Altruism, reciprocity, and tokens to reward forwarding data: Is that fair?. I: Donal O’Mahony; William Knottenbelt, 2024 IEEE International Conference on Blockchain and Cryptocurrency (ICBC). IEEE (Institute of Electrical and Electronics Engineers). ISBN 9798350316742. DOI: 10.1109/ICBC59979.2024.10634423

Arian Baloochestani Asl; Leander Jehl (2023) Eiffel : Extending formal verification of distributed algorithms to utility analysis. I: Emmanuel Bertin; Emmanuelle Anceaume, 2023 5th Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS). IEEE (Institute of Electrical and Electronics Engineers). ISBN 9798350317824. s.111-117. DOI: 10.1109/BRAINS59668.2023.10316928

Hanish Gogada; John Ingve Olsen; Hein Meling; Leander Jehl (2023) An Extensible Framework for Implementing Byzantine Fault-Tolerant Protocols. I: Maart Lanperne; Jiman Hong; Juw Won Park; Tomas Cerny, SAC '23: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing. Association for Computing Machinery (ACM). ISBN 9781450395175. s.121-124. DOI: 10.1145/3555776.3578614

Hanish Gogada; Hein Meling; Leander Jehl; John Ingve Olsen (2023) An Extensible Framework for Implementing and Validating Byzantine Fault-tolerant Protocols. I: Yanhong Annie Liu; Elad MIchael Schiller, ApPLIED 2023: Proceedings of the 5th workshop on Advanced tools, programming languages, and PLatforms for Implementing and Evaluating algorithms for Distributed systems. Association for Computing Machinery (ACM). ISBN 9798400701283. DOI: 10.1145/3584684.3597266

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. I: Computer Networks. ISSN 1389-1286. DOI: 10.1016/j.comnet.2023.109768

Rodrigo Queiroz Saramago; Hein Meling; Leander Nikolaus Jehl (2023) A Privacy-Preserving and Transparent Certification System for Digital Credentials. I: Leibniz International Proceedings in Informatics. Online ISSN 1868-8969. Volum 253. s.9:1-9:24. DOI: 10.4230/LIPIcs.OPODIS.2022.9

Christian Berger; Signe Schwarz-Rüsch; Arne Vogel; Kai Bleeke; Leander Jehl; Hans P. Reiser; Rudiger Kapitza (2023) SoK : Scalability Techniques for BFT Consensus. I: Adel Ben Mnaouer; Burkhard Stiller; Fakhreddine Karray, 2023 IEEE International Conference on Blockchain and Cryptocurrency (ICBC). IEEE (Institute of Electrical and Electronics Engineers). ISBN 9798350310191. DOI: 10.1109/ICBC56567.2023.10174976

Arian Baloochestani Asl; Leander Jehl; Hein Meling (2022) Rebop : Reputation-based incentives in committee-based blockchains. I: Eyers David; Voulgaris Spyros, Distributed Applications and Interoperable Systems 22nd IFIP WG 6.1 International Conference, DAIS 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings. Springer Cham. ISBN 9783031160929. s.37-54. DOI: 10.1007/978-3-031-16092-9_4

Ines Messadi; Markus Horst Becker; Kai Bleeke; Leander Jehl; Sonia Ben Mokhtar; Rudiger Kapitza (2022) SplitBFT: Improving Byzantine Fault Tolerance Safety Using Trusted Compartments. I: Marta Patino; Saurabh Bagchi; Abdelouahed Gherbi; Kaiwen Zhang; Paolo Bellavista, Middleware '22: Proceedings of the 23rd conference on 23rd ACM/IFIP International Middleware Conference. Association for Computing Machinery (ACM). ISBN 9781450393409. s.56-68. DOI: 10.1145/3528535.3531516

Signe Schwarz-Rüsch; Michael Behlendorf; Markus Becker; Rene Kudlek; Hesham Hosney Elsayed Mohamed; Felix Schoenitz; Leander Jehl; Rudiger Kapitza (2022) EventChain: a blockchain framework for secure, privacy-preserving event verification. I: Saurabh Bagchi; Marta Patino; Kaiwen Zhang; Paolo Bellavista; Abdelouahed Gherbi, Middleware '22: Proceedings of the 23rd conference on 23rd ACM/IFIP International Middleware Conference. Association for Computing Machinery (ACM). ISBN 9781450393409. s.174-187. DOI: 10.1145/3528535.3565243

Signe Rüsch; Kai Bleeke; Ines Messadi; Stefan Schmidt; Andreas Krampf; Katharina Olze; Susanne Stahnke; Robert Schmid; Lukas Pirl; Roland Kittel; Andreas Polze; Marquart Franz; Matthias Müller; Leander Jehl; Rüdiger Kapitza (2022) ZugChain : Blockchain-based juridical data recording in railway systems. I: . IEEE, 2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2022). IEEE (Institute of Electrical and Electronics Engineers). ISBN 9781665416948. DOI: 10.1109/DSN53405.2022.00019

Vahid Heidaripour Lakhani; Leander Jehl; Rinke Hendriksen; Estrada-Galinanes Vero (2022) Fair incentivization of bandwidth sharing in decentralized storage networks. I: Yuanyuan Yang; Fan Ye, Proceedings 2022 IEEE 42nd International Conference on Distributed Computing Systems Workshops ICDCSW 2022. IEEE (Institute of Electrical and Electronics Engineers). ISBN 9781665488792. DOI: 10.1109/ICDCSW56584.2022.00017

Leander Jehl (2021) Formal verification of HotStuff. I: Kristin Peters; Tim A.C. Willemse, Formal techniques for distributed objects components and systems : FORTE 2021. Springer. ISBN 9783030780890. s.197-204. DOI: 10.1007/978-3-030-78089-0_13

Rodrigo Queiroz Saramago; Leander Jehl; Hein Meling; Veronica Estrada-Galiñanes (2021) A tree-based construction for verifiable diplomas with issuer transparency. I: Lisa O`Conner, Third IEEE International Conference on Decentralized Applications and Infrastructures. DAPPS 2021. IEEE (Institute of Electrical and Electronics Engineers). ISBN 9781665434850. DOI: 10.1109/DAPPS52256.2021.00017

Rodrigo Queiroz Saramago; Leander Nikolaus Jehl; Hein Meling; Veronica Estrada Galiñanes (2021) A Tree-based Construction for Verifiable Diplomas with Issuer Transparency. I: arXiv.

Leander Jehl (2019) Quorum Selection for Byzantine Fault Tolerance. I: Juan E. Guerrero, 2019 39th IEEE International Conference on Distributed Computing Systems ICDCS 2019. IEEE (Institute of Electrical and Electronics Engineers). ISBN 9781728125190. s.2168-2177. DOI: 10.1109/ICDCS.2019.00213

Sebastian Mæland Pedersen; Hein Meling; Leander Jehl (2018) An Analysis of Quorum-based Abstractions: A Case Study using Gorums to Implement Raft. I: Chryssis Georgiou; Elad M. Schiller, Proceedings of the 2018 Workshop on Advanced Tools, Programming Languages, and PLatforms for Implementing and Evaluating Algorithms for Distributed systems. Association for Computing Machinery (ACM). ISBN 9781450357753. s.29-35. DOI: 10.1145/3231104.3231957

Tormod Erevik Lea; Leander Jehl; Hein Meling (2017) Towards New Abstractions for Implementing Quorum-Based Systems. I: Distributed Computing Systems. ISSN 1063-6927. s.2380-2385. DOI: 10.1109/ICDCS.2017.166

Leander Jehl; Hein Meling (2017) The Case for Reconfiguration without Consensus: Comparing Algorithms for Atomic Storage. I: Leibniz International Proceedings in Informatics. Online ISSN 1868-8969. Volum 70. s.31.1-31.17. DOI: 10.4230/LIPIcs.OPODIS.2016.31

Leander Jehl; Tormod Erevik Lea; Hein Meling (2016) Replacement: Decentralized Failure Handling for Replicated State Machines. I: Symposium on Reliable Distributed Systems. Proceedings. ISSN 1060-9857. Volum 2016-January. s.156-165. DOI: 10.1109/SRDS.2015.29

Leander Jehl; Roman Vitenberg; Hein Meling (2015) SmartMerge: A New Approach to Reconfiguration for Atomic Storage. I: Yoram Moses, Distributed Computing - 29th International Symposium, DISC 2015. Springer. ISBN 9783642336508. s.154-169. DOI: 10.1007/978-3-662-48653-5_11

Leander Jehl; Tormod Erevik Lea; Hein Meling (2015) Replacement: Decentralized Failure Handling for Replicated State Machines. I: Pascal Felber; Nalini Venkatasubramanian, Proceedings of the 2015 IEEE 34th International Symposium on Reliable Distributed Systems. IEEE (Institute of Electrical and Electronics Engineers). ISBN 9781467393027. s.156-165. DOI: 10.1109/SRDS.2015.29

Leander Jehl; Tormod Erevik Lea; Hein Meling (2014) Brief Announcement: Replacement - Handling Failures in a Replicated State Machine. I: Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. Volum 8784. s.531-532. DOI: 10.1007/978-3-662-45174-8

Leander Jehl; Hein Meling (2014) Asynchronous Reconfiguration for Paxos State Machines. I: Mainak Chatterjee; Jian-nong Cao; Kishore Kothapalli; Sergio Rajsbaum, Distributed Computing and Networking, 15th International Conference, ICDCN 2014. Springer. ISBN 9783642452482. s.119-133. DOI: 10.1007/978-3-642-45249-9_8

Hein Meling; Leander Jehl (2013) Tutorial Summary: Paxos Explained from Scratch. I: Roberto Baldoni; Nicolas Nisse; Maarten van Steen, Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings. Springer Science+Business Media B.V.. ISBN 9783319038490. s.1-10. DOI: 10.1007/978-3-319-03850-6_1

Leander Jehl; Hein Meling (2013) Towards fast and efficient failure handling for paxos state machines. I: . ICDSW 2013, Distributed Computing Systems Workshops (ICDCSW), 2013 IEEE 33rd International Conference on. IEEE (Institute of Electrical and Electronics Engineers). ISBN 9780769550237. s.98-102. DOI: 10.1109/ICDCSW.2013.47

Leander Jehl; Hein Meling (2013) Towards Byzantine fault tolerant publish/subscribe: a state machine approach. I: Christian Cachin; Robbert Van Renesse, Proceedings of the 9th Workshop on Hot Topics in Dependable. Association for Computing Machinery (ACM). ISBN 9781450324571. DOI: 10.1145/2524224.2524232

Vero Estrada-Galiñanes; Racin Wilhelm Nygaard; Viktor Tron; Rodrigo Saramago; Leander Jehl; Hein Meling (2019) Building a disaster-resilient storage layer for next generation networks: The role of redundancy. I: N. N, Network Systems - Workshop October 10-11, 2019. NS2019-99-NS2019-119. Institute of Electronics, Information and Communication Engineers. s.53-58.

Leander Jehl; Arian Baloochestani Asl (2024) Denial of Profit Attacks on Validator Rewards. Blockchain Kaigi 2024; 2024-09-12 - 2024-09-13.

Hanish Gogada; John Ingve Olsen; Hein Meling; Leander Jehl (2023) POSTER SHARE ON An Extensible Framework for Implementing Byzantine Fault-Tolerant Protocols. SAC '23: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing; 2023-03-27 - 2023-04-02.

Hanish Gogada; Hein Meling; Leander Jehl; John Ingve Olsen (2023) An Extensible Framework for Implementing and Validating Byzantine Fault-Tolerant Protocols. the 5th workshop on Advanced tools, programming languages, and PLatforms for Implementing and Evaluating algorithms for Distributed systems; 2023-07-19.

Leander Jehl (2023) ContractBox: Realizing Accountable Data Sharing on the Edge Using a Small Scale Blockchain. BFT Workshop; 2023-04-25.

Vero Estrada-Galiñanes; Racin Wilhelm Nygaard; Viktor Tron; Rodrigo Saramago; Leander Jehl; Hein Meling (2019) Building a Disaster-resilient Storage Layer for Next Generation Networks: The Role of Redundancy. Technical Committee on Network Systems Workshop; 2019-10-10 - 2019-10-11.

Leander Jehl (2019) Quorum Selection for Byzantine Fault Tolerance. ICDCS 2019; 2019-07-07 - 2019-07-09.

Racin Wilhelm Nygaard; Hein Meling; Leander Jehl (2019) Distributed Storage System based on Permissioned Blockchain. 34th ACM Symposium on Applied Computing; 2019-04-08 - 2019-04-12.

Leander Jehl (2018) Quorum-Selection for BFT systems. SATIS2018; 2018-08-14 - 2018-08-17.

Tormod Erevik Lea; Leander Jehl; Hein Meling (2016) Gorums: New Abstractions for Implementing Quorum-based Systems. IDE TechTalk; 2016-05-27.

Hein Meling; Tormod Erevik Lea; Leander Jehl (2016) Gorums: New Abstractions for Implementing Quorum-based Systems. Tech Seminar at Schibsted; 2016-10-25.

Leander Jehl (2016) The Committee Game. IDE TechTalk; 2016-05-13.

Leander Jehl (2015) Replacement: Decentralized Failure Handling for Replicated State Machines.. 2015 IEEE 34th International Symposium on Reliable Distributed Systems.; 2015-09-28 - 2015-10-01.

Leander Jehl (2015) SmartMerge: A New Approach to Reconfiguration for Atomic Storage.. Distributed Computing - 29th International Symposium, DISC 2015.; 2015-10-07 - 2015-10-09.

Leander Jehl (2015) SmartMerge: A New Approach to Reconfiguration for Atomic Storage. ITEM - Lunch Colloquium; 2015-06-12.

Leander Jehl; Hein Meling (2014) Asynchronous Reconfiguration for Paxos State Machines. ICDCN 2014; 2014-01-04 - 2014-01-07.

Hein Meling; Leander Jehl (2013) Paxos Explained from Scratch. International Conference on Principles of Distributed Systems; 2013-12-16 - 2013-12-18.

Leander Jehl; Hein Meling (2013) Towards Byzantine Fault Tolerant Publish/Subscribe: A State Machine Approach. 9th Workshop on Hot Topics in Dependable Systems ; 2013-11-03.

Leander Jehl; Hein Meling (2013) Towards Fast and Efficient Failure Handling for Paxos State Machines. 33rd International Conference on Distributed Computing Systems Workshops; 2013-07-08 - 2013-07-11.

Leander Nikolaus Jehl (2012) A self-stabilizing algorithm for finding independent trees. Workshop on Byzantine Fault Tolerant Publish/Subscribe; 2012-08-14 - 2012-08-18.

Leander Nikolaus Jehl; Hein Meling (2012) A self-stabilizing algorithm for finding independent trees. Workshop on Byzantine Fault Tolerant Publish/Subscribe; 2012-08-14 - 2012-08-18.

Leander Nikolaus Jehl; Hein Meling (2012) Live Replacement Paxos. NFR/VERDIKT konferansen; 2012-04-25 - 2012-04-26.

Leander Nikolaus Jehl; Hein Meling (2012) Live Replacement in Paxos. Workshop on Byzantine Fault Tolerant Publish/Subscribe; 2012-08-14 - 2012-08-18.

Leander Nikolaus Jehl (2012) Live Replacement. Tidal News Workshop; 2012-03-28.

Leander Nikolaus Jehl (2012) Live Replacement in Paxos. Workshop on Byzantine Fault Tolerant Publish/Subscribe; 2012-08-14 - 2012-08-18.