Leander Nikolaus Jehl | Universitetet i Stavanger

51832062

Det teknisk-naturvitenskapelige fakultet
Institutt for data- og elektroteknologi

KE E-403

Follow me

Blog

Bio

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.

Homepage Publications on DBLP

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

Tilbake

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.
Kunstnerisk produksjon
Kommersialisering