Leander Nikolaus Jehl

Førsteamanuensis i datateknologi

Leander Nikolaus Jehl

Kontakt

Telefon: 51832062

E-post: leander.jehl@uis.no

Rom: KE E-403

Organisasjonsenhet

Det teknisk-naturvitenskapelige fakultet

Institutt for data- og elektroteknologi

Kort om meg

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

Publikasjoner

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

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.