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

Heidaripour Lakhani, Vahid; Babaei, Arman; Jehl, Leander; Ishmaev, Georgy; Estrada-Galiñanes, Vero

(2024)

Altruism, reciprocity, and tokens to reward forwarding data: Is that fair?. I: 2024 IEEE International Conference on Blockchain and Cryptocurrency (ICBC).

IEEE conference proceedings.

ISBN 979-8-3503-1674-2.

DOI: 10.1109/ICBC59979.2024.10634423

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

(2024)

Iniva: Inclusive and Incentive-compatible Vote Aggregation. I: 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).

IEEE conference proceedings.

ISBN 979-8-3503-4105-8.

DOI: 10.1109/DSN58291.2024.00050

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

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

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

(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

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; 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; 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

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.