Leander Nikolaus Jehl

Associate Professor

Leander Nikolaus Jehl

Contact

Telephone: 51832062

Email: leander.jehl@uis.no

Room: KE E-403

Department

Faculty of Science and Technology

Department of Electrical Engineering and Computer Science

About me

Leander Jehl is an Associate Professor in Computer Science at the University of Stavanger (UiS). He holds a PhD in Computer Science from UiS and a Diploma in Mathematics from the Univerisity of Freiburg, Germany. His research interests lie in the field of distributed algorithms and fault tolerant systems.

Research Interests

  • Distributed Computing
  • Dependability
  • Reconfiguration and Dynamic systems
  • Blockchain technology

Teaching

I teach at bachelor, master and phd level.

  • DAT310 Webprogramming (bachelor level)
  • DAT650 Blockchain Technology (master level)
  • DAT912 Formal Methods for Specifying Systems (phd level)

Projects and groups

Publications

Vitenskapelige publikasjoner

Queiroz Saramago, Rodrigo; Meling, Hein; Jehl, Leander Nikolaus

(2023)

A Privacy-Preserving and Transparent Certification System for Digital Credentials.

Leibniz International Proceedings in Informatics.

ISSN 1868-8969.

Volum 253.

s.9:1-9:24.

DOI: 10.4230/LIPIcs.OPODIS.2022.9

Almstedt, Lennart; Bleeke, Kai; Mahhouk, Mohammad; Jehl, Leander; Kapitza, Rüdiger; Wolf, Lars

(2023)

ContractBox: Realizing accountable data sharing on the edge using a small scale blockchain.

Computer Networks.

ISSN 1389-1286.

DOI: 10.1016/j.comnet.2023.109768

Gogada, Hanish; Olsen, John Ingve; Meling, Hein; Jehl, Leander

(2023)

An Extensible Framework for Implementing Byzantine Fault-Tolerant Protocols . I: SAC '23: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing.

Association for Computing Machinery (ACM).

ISBN 978-1-4503-9517-5.

s.121-124.

DOI: 10.1145/3555776.3578614

Gogada, Hanish; Meling, Hein; Jehl, Leander; Olsen, John Ingve

(2023)

An Extensible Framework for Implementing and Validating Byzantine Fault-tolerant Protocols. I: 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 979-8-4007-0128-3.

DOI: 10.1145/3584684.3597266

Baloochestani Asl, Arian; Jehl, Leander

(2023)

Eiffel : Extending formal verification of distributed algorithms to utility analysis. I: 2023 5th Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS).

IEEE (Institute of Electrical and Electronics Engineers).

ISBN 979-8-3503-1782-4.

s.111-117.

DOI: 10.1109/BRAINS59668.2023.10316928

Berger, Christian; Schwarz-Rüsch, Signe; Vogel, Arne; Bleeke, Kai; Jehl, Leander; Reiser, Hans P.; Kapitza, Rudiger

(2023)

SoK : Scalability Techniques for BFT Consensus. I: 2023 IEEE International Conference on Blockchain and Cryptocurrency (ICBC).

IEEE (Institute of Electrical and Electronics Engineers).

ISBN 979-8-3503-1019-1.

DOI: 10.1109/ICBC56567.2023.10174976

Baloochestani Asl, Arian; Jehl, Leander; Meling, Hein

(2022)

Rebop : Reputation-based incentives in committee-based blockchains. I: 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.

ISBN 978-3-031-16092-9.

s.37-54.

DOI: 10.1007/978-3-031-16092-9_4

Rüsch, Signe; Bleeke, Kai; Messadi, Ines; Schmidt, Stefan; Krampf, Andreas; Olze, Katharina; Stahnke, Susanne; Schmid, Robert; Pirl, Lukas; Kittel, Roland; Polze, Andreas; Franz, Marquart; Müller, Matthias; Jehl, Leander; Kapitza, Rüdiger

(2022)

ZugChain : Blockchain-based juridical data recording in railway systems. I: 2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2022).

IEEE conference proceedings.

ISBN 9781665416948.

DOI: 10.1109/DSN53405.2022.00019

Messadi, Ines; Becker, Markus Horst; Bleeke, Kai; Jehl, Leander; Ben Mokhtar, Sonia; Kapitza, Rudiger

(2022)

SplitBFT: Improving Byzantine Fault Tolerance Safety Using Trusted Compartments. I: Middleware '22: Proceedings of the 23rd conference on 23rd ACM/IFIP International Middleware Conference.

Association for Computing Machinery (ACM).

ISBN 978-1-4503-9340-9.

s.56-68.

DOI: 10.1145/3528535.3531516

Schwarz-Rüsch, Signe; Behlendorf, Michael; Becker, Markus; Kudlek, Rene; Hosney Elsayed Mohamed, Hesham; Schoenitz, Felix; Jehl, Leander; Kapitza, Rudiger

(2022)

EventChain: a blockchain framework for secure, privacy-preserving event verification. I: Middleware '22: Proceedings of the 23rd conference on 23rd ACM/IFIP International Middleware Conference.

Association for Computing Machinery (ACM).

ISBN 978-1-4503-9340-9.

s.174-187.

DOI: 10.1145/3528535.3565243

Heidaripour Lakhani, Vahid; Jehl, Leander; Hendriksen, Rinke; Vero, Estrada-Galinanes

(2022)

Fair incentivization of bandwidth sharing in decentralized storage networks. I: Proceedings 2022 IEEE 42nd International Conference on Distributed Computing Systems Workshops ICDCSW 2022.

IEEE conference proceedings.

ISBN 978-1-6654-8879-2.

DOI: 10.1109/ICDCSW56584.2022.00017

Queiroz Saramago, Rodrigo; Jehl, Leander Nikolaus; Meling, Hein; Estrada Galiñanes, Veronica

(2021)

A Tree-based Construction for Verifiable Diplomas with Issuer Transparency.

arXiv.

Queiroz Saramago, Rodrigo; Jehl, Leander; Meling, Hein; Estrada-Galiñanes, Veronica

(2021)

A tree-based construction for verifiable diplomas with issuer transparency. I: 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

Jehl, Leander

(2021)

Formal verification of HotStuff. I: 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

Jehl, Leander

(2019)

Quorum Selection for Byzantine Fault Tolerance. I: 2019 39th IEEE International Conference on Distributed Computing Systems ICDCS 2019 .

IEEE (Institute of Electrical and Electronics Engineers).

ISBN 978-1-7281-2519-0.

s.2168-2177.

DOI: 10.1109/ICDCS.2019.00213

Pedersen, Sebastian Mæland; Meling, Hein; Jehl, Leander

(2018)

An Analysis of Quorum-based Abstractions: A Case Study using Gorums to Implement Raft. I: 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 978-1-4503-5775-3.

s.29-35.

DOI: 10.1145/3231104.3231957

Jehl, Leander; Meling, Hein

(2017)

The Case for Reconfiguration without Consensus: Comparing Algorithms for Atomic Storage.

Leibniz International Proceedings in Informatics.

ISSN 1868-8969.

Volum 70.

s.31.1-31.17.

DOI: 10.4230/LIPIcs.OPODIS.2016.31

Lea, Tormod Erevik; Jehl, Leander; Meling, Hein

(2017)

Towards New Abstractions for Implementing Quorum-Based Systems.

Distributed Computing Systems.

ISSN 1063-6927.

s.2380-2385.

DOI: 10.1109/ICDCS.2017.166

Jehl, Leander; Lea, Tormod Erevik; Meling, Hein

(2016)

Replacement: Decentralized Failure Handling for Replicated State Machines.

Symposium on Reliable Distributed Systems. Proceedings.

ISSN 1060-9857.

Volum 2016-January.

s.156-165.

DOI: 10.1109/SRDS.2015.29

Jehl, Leander; Vitenberg, Roman; Meling, Hein

(2015)

SmartMerge: A New Approach to Reconfiguration for Atomic Storage. I: Distributed Computing - 29th International Symposium, DISC 2015.

Springer.

ISBN 978-3-642-33650-8.

s.154-169.

DOI: 10.1007/978-3-662-48653-5_11

Jehl, Leander; Lea, Tormod Erevik; Meling, Hein

(2015)

Replacement: Decentralized Failure Handling for Replicated State Machines. I: Proceedings of the 2015 IEEE 34th International Symposium on Reliable Distributed Systems.

IEEE (Institute of Electrical and Electronics Engineers).

ISBN 978-1-4673-9302-7.

s.156-165.

DOI: 10.1109/SRDS.2015.29

Jehl, Leander; Meling, Hein

(2014)

Asynchronous Reconfiguration for Paxos State Machines. I: Distributed Computing and Networking, 15th International Conference, ICDCN 2014.

Springer.

ISBN 978-3-642-45248-2.

s.119-133.

DOI: 10.1007/978-3-642-45249-9_8

Jehl, Leander; Lea, Tormod Erevik; Meling, Hein

(2014)

Brief Announcement: Replacement - Handling Failures in a Replicated State Machine.

Lecture Notes in Computer Science (LNCS).

ISSN 0302-9743.

Volum 8784.

s.531-532.

DOI: 10.1007/978-3-662-45174-8

Jehl, Leander; Meling, Hein

(2013)

Towards fast and efficient failure handling for paxos state machines. I: Distributed Computing Systems Workshops (ICDCSW), 2013 IEEE 33rd International Conference on.

IEEE (Institute of Electrical and Electronics Engineers).

ISBN 978-0-7695-5023-7.

s.98-102.

DOI: 10.1109/ICDCSW.2013.47

Jehl, Leander; Meling, Hein

(2013)

Towards Byzantine fault tolerant publish/subscribe: a state machine approach. I: Proceedings of the 9th Workshop on Hot Topics in Dependable.

Association for Computing Machinery (ACM).

ISBN 978-1-4503-2457-1.

DOI: 10.1145/2524224.2524232

Meling, Hein; Jehl, Leander

(2013)

Tutorial Summary: Paxos Explained from Scratch. I: Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings.

Springer Science+Business Media B.V..

ISBN 978-3-319-03849-0.

s.1-10.

DOI: 10.1007/978-3-319-03850-6_1

Bøker og kapitler

Estrada-Galiñanes, Vero; Nygaard, Racin Wilhelm; Tron, Viktor; Saramago, Rodrigo; Jehl, Leander; Meling, Hein

(2019)

Building a disaster-resilient storage layer for next generation networks: The role of redundancy. I: Network Systems - Workshop October 10-11, 2019. NS2019-99-NS2019-119.

ISBN 0000000000.

s.53-58.

Formidling

Jehl, Leander

(2023)

ContractBox: Realizing Accountable Data Sharing on the Edge Using a Small Scale Blockchain.

BFT Workshop;

2023-04-25 - .

Gogada, Hanish; Olsen, John Ingve; Meling, Hein; Jehl, Leander

(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.

Gogada, Hanish; Meling, Hein; Jehl, Leander; Olsen, John Ingve

(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 - .

Nygaard, Racin Wilhelm; Meling, Hein; Jehl, Leander

(2019)

Distributed Storage System based on Permissioned Blockchain.

34th ACM Symposium on Applied Computing;

2019-04-08 - 2019-04-12.

Jehl, Leander

(2019)

Quorum Selection for Byzantine Fault Tolerance.

ICDCS 2019;

2019-07-07 - 2019-07-09.

Estrada-Galiñanes, Vero; Nygaard, Racin Wilhelm; Tron, Viktor; Saramago, Rodrigo; Jehl, Leander; Meling, Hein

(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.

Jehl, Leander

(2018)

Quorum-Selection for BFT systems.

SATIS2018;

2018-08-14 - 2018-08-17.

Meling, Hein; Lea, Tormod Erevik; Jehl, Leander

(2016)

Gorums: New Abstractions for Implementing Quorum-based Systems.

Tech Seminar at Schibsted;

2016-10-25 - .

Lea, Tormod Erevik; Jehl, Leander; Meling, Hein

(2016)

Gorums: New Abstractions for Implementing Quorum-based Systems.

IDE TechTalk;

2016-05-27 - .

Jehl, Leander

(2016)

The Committee Game.

IDE TechTalk;

2016-05-13 - .

Jehl, Leander

(2015)

Replacement: Decentralized Failure Handling for Replicated State Machines..

2015 IEEE 34th International Symposium on Reliable Distributed Systems.;

2015-09-28 - 2015-10-01.

Jehl, Leander

(2015)

SmartMerge: A New Approach to Reconfiguration for Atomic Storage..

Distributed Computing - 29th International Symposium, DISC 2015.;

2015-10-07 - 2015-10-09.

Jehl, Leander

(2015)

SmartMerge: A New Approach to Reconfiguration for Atomic Storage.

ITEM - Lunch Colloquium;

2015-06-12 - .

Jehl, Leander; Meling, Hein

(2014)

Asynchronous Reconfiguration for Paxos State Machines.

ICDCN 2014;

2014-01-04 - 2014-01-07.

Jehl, Leander; Meling, Hein

(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.

Jehl, Leander; Meling, Hein

(2013)

Towards Byzantine Fault Tolerant Publish/Subscribe: A State Machine Approach.

9th Workshop on Hot Topics in Dependable Systems ;

2013-11-03.

Meling, Hein; Jehl, Leander

(2013)

Paxos Explained from Scratch.

International Conference on Principles of Distributed Systems;

2013-12-16 - 2013-12-18.

Jehl, Leander Nikolaus

(2012)

Live Replacement.

Tidal News Workshop;

2012-03-28.

Jehl, Leander Nikolaus; Meling, Hein

(2012)

Live Replacement Paxos.

NFR/VERDIKT konferansen;

2012-04-25 - 2012-04-26.

Jehl, Leander Nikolaus

(2012)

A self-stabilizing algorithm for finding independent trees.

Workshop on Byzantine Fault Tolerant Publish/Subscribe;

2012-08-14 - 2012-08-18.

Jehl, Leander Nikolaus; Meling, Hein

(2012)

A self-stabilizing algorithm for finding independent trees.

Workshop on Byzantine Fault Tolerant Publish/Subscribe;

2012-08-14 - 2012-08-18.

Jehl, Leander Nikolaus

(2012)

Live Replacement in Paxos.

Workshop on Byzantine Fault Tolerant Publish/Subscribe;

2012-08-14 - 2012-08-18.

Jehl, Leander Nikolaus; Meling, Hein

(2012)

Live Replacement in Paxos.

Workshop on Byzantine Fault Tolerant Publish/Subscribe;

2012-08-14 - 2012-08-18.