Dr.-Ing. Oliver Stengele
- Scientific staff member
by appointment
112 (Geb. 20.50)
+49 721 608-46407
oliver stengele ∂does-not-exist.kit edu
Karlsruhe Institute of Technology (KIT)
Institute of Information Security and Dependability (KASTEL)
Decentralized Systems and Network
Services Research Group (DSN)
Bldg. 20.50
Engesserstr. 2
76131 Karlsruhe
GermanyS/MIME (KIT CA)
[m] @ge5658:kit.edu
Personal Information
During my study at Heidelberg University, I focused on combinatorial optimisation, complexity theory, and the theoretical aspects of informatics.
Since 2017, I work as a scientific staff member in the "Decentralised Systems and Network Services" research group of Prof. Hartenstein. Within KASTEL, my area of research encompasses decentralised consensus systems and their use as a platform for establishing consensus over time and/or resource-intensive tasks. Within this context, I am also interested in the game-theoretic aspects that are indispensible for an actual implementation.
CV
| since 2017 | Scientific staff member in the Distributed Systems and Network Services Research Group, Institute of Telematics. |
| 2013 – 2016 | Master of Science in Applied Computer Science at Heidelberg University. Thesis: "Aggressive Reduction on the Quadratic Knapsack Problem" at the Discrete and Combinatorial Optimization research group. |
| 2008 – 2013 | Bachelor of Science in Applied Computer Science at Heidelberg University. Thesis: "Heuristic Methods for the Optimum Communication Spanning Tree Problem" at the Discrete and Combinatorial Optimization research group. |
| 2006 | Abitur at Helmholtz-Gymnasium, Heidelberg. |
Publications
Short Paper: Unpredictable Transaction Arrangement for MEV Mitigation in Ethereum
Droll, J.; Stengele, O.; Hartenstein, H.
2024. 2024 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), 625–629, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICBC59979.2024.10634470
Droll, J.; Stengele, O.; Hartenstein, H.
2024. 2024 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), 625–629, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICBC59979.2024.10634470
Decentralizing Software Identity Management. PhD dissertation
Stengele, O.
2023, June 14. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000159237
Stengele, O.
2023, June 14. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000159237
Decentralized Review and Attestation of Software Attribute Claims
Stengele, O.; Westermeyer, C.; Hartenstein, H.
2022. IEEE Access, 10, 66694–66710. doi:10.1109/ACCESS.2022.3185046
Stengele, O.; Westermeyer, C.; Hartenstein, H.
2022. IEEE Access, 10, 66694–66710. doi:10.1109/ACCESS.2022.3185046
ETHTID: Deployable Threshold Information Disclosure on Ethereum
Stengele, O.; Raiber, M.; Müller-Quade, J.; Hartenstein, H.
2021. 3rd IEEE International Conference on Blockchain Computing and Applications (BCCA), Tartu, EST, November 15-16, 2021, 127–134, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/BCCA53669.2021.9657019
Stengele, O.; Raiber, M.; Müller-Quade, J.; Hartenstein, H.
2021. 3rd IEEE International Conference on Blockchain Computing and Applications (BCCA), Tartu, EST, November 15-16, 2021, 127–134, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/BCCA53669.2021.9657019
Coupling Smart Contracts: A Comparative Case Study
Friebe, S.; Stengele, O.; Hartenstein, H.; Zitterbart, M.
2021. 3rd Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS), 27-30 Sept. 2021, 137–144, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/BRAINS52497.2021.9569830
Friebe, S.; Stengele, O.; Hartenstein, H.; Zitterbart, M.
2021. 3rd Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS), 27-30 Sept. 2021, 137–144, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/BRAINS52497.2021.9569830
ETHTID: Deployable Threshold Information Disclosure on Ethereum
Stengele, O.; Raiber, M.; Müller-Quade, J.; Hartenstein, H.
2021
Stengele, O.; Raiber, M.; Müller-Quade, J.; Hartenstein, H.
2021
Towards Correct Smart Contracts: A Case Study on Formal Verification of Access Control
Schiffl, J.; Grundmann, M.; Leinweber, M.; Stengele, O.; Friebe, S.; Beckert, B.
2021. SACMAT ’21: Proceedings of the 26th ACM Symposium on Access Control Models and Technologies, 125–130, Association for Computing Machinery (ACM). doi:10.1145/3450569.3463574
Schiffl, J.; Grundmann, M.; Leinweber, M.; Stengele, O.; Friebe, S.; Beckert, B.
2021. SACMAT ’21: Proceedings of the 26th ACM Symposium on Access Control Models and Technologies, 125–130, Association for Computing Machinery (ACM). doi:10.1145/3450569.3463574
Practical Trade-Offs in Integrity Protection for Binaries via Ethereum
Stengele, O.; Droll, J.; Hartenstein, H.
2020. Middleware ’20 Demos and Posters: Proceedings of the 21st International Middleware Conference Demos and Posters, 9–10, Association for Computing Machinery (ACM). doi:10.1145/3429358.3429374
Stengele, O.; Droll, J.; Hartenstein, H.
2020. Middleware ’20 Demos and Posters: Proceedings of the 21st International Middleware Conference Demos and Posters, 9–10, Association for Computing Machinery (ACM). doi:10.1145/3429358.3429374
Access Control for Binary Integrity Protection using Ethereum
Stengele, O.; Baumeister, A.; Birnstill, P.; Hartenstein, H.
2019. Proceedings of the 24th ACM Symposium on Access Control Models and Technologies (SACMAT ’19), Toronto, CDN, June 4-6, 2019, 3–12, Association for Computing Machinery (ACM). doi:10.1145/3322431.3325108
Stengele, O.; Baumeister, A.; Birnstill, P.; Hartenstein, H.
2019. Proceedings of the 24th ACM Symposium on Access Control Models and Technologies (SACMAT ’19), Toronto, CDN, June 4-6, 2019, 3–12, Association for Computing Machinery (ACM). doi:10.1145/3322431.3325108
Atomic Information Disclosure of Off-Chained Computations Using Threshold Encryption
Stengele, O.; Hartenstein, H.
2018. Data Privacy Management, Cryptocurrencies and Blockchain Technology – ESORICS 2018 International Workshops, DPM 2018 and CBT 2018, Barcelona, Spain, September 6-7, 2018, Proceedings. Ed.: J. Garcia-Alfaro, 85–93, Springer International Publishing. doi:10.1007/978-3-030-00305-0_7
Stengele, O.; Hartenstein, H.
2018. Data Privacy Management, Cryptocurrencies and Blockchain Technology – ESORICS 2018 International Workshops, DPM 2018 and CBT 2018, Barcelona, Spain, September 6-7, 2018, Proceedings. Ed.: J. Garcia-Alfaro, 85–93, Springer International Publishing. doi:10.1007/978-3-030-00305-0_7
Lectures:
- IT-Sicherheitsmanagement für vernetzte Systeme (WS'17/18)
- Access Control Systems (SS'17)
(Pro-)Seminars:
- Bitcoin & Blockchain (Proseminar, SS'17)
- Proof of X – Verteilte Nachweissysteme (Seminar, WS'17/18)
- SoK: Science, Security, and the Elusive Goal of Security as a Scientific Pursuit (Seminar, SS'18)
KASTEL (Identities in Smart Environments)