Arne Vogel

Arne Vogel, M. Sc.

Department Informatik (INF)
Lehrstuhl für Informatik 4 (Systemsoftware)

Raum 0.040
Martensstraße 1
91058 Erlangen

E-Mail: vogel@cs.fau.de

I am interested in distributed systems. In particular, I am interested in how technologies like WebAssembly, TEEs or formal verification can be used in this area. Before coming to Erlangen, I worked at the IBR at the TU Braunschweig.

Open thesis

keine passenden Datensätze gefunden

Mehr

2025

Aublin PL., Vogel A.:
Mitigating Cryptographic Bottlenecks of Low-Latency BFT Protocols
25th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2025 Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025 (Lille, 16. June 2025 - 20. June 2025)
In: Daniel Balouek, Ibéria Medeiros (ed.): Distributed Applications and Interoperable Systems. 25th IFIP WG 6.1 International Conference, DAIS 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16–20, 2025, Proceedings, Cham: 2025
DOI: 10.1007/978-3-031-95728-4_3
Van Kenhove M., Seidler M., Vandenberghe F., Dujardin W., Hennen W., Vogel A., Sebrechts M., Goethals T., De Turck F., Volckaert B.:
Cyber-Physical WebAssembly: Secure Hardware Interfaces and Pluggable Drivers
38th IEEE/IFIP Network Operations and Management Symposium, NOMS 2025 (Honolulu, HI, 12. May 2025 - 16. May 2025)
In: Doug Zuckerman, Mehmet Ulema, Noura Limam, Young-Tak Kim, Lisandro Zambenedetti Granville, Vinicius Fulber-Garcia (ed.): NOMS 2025-2025 IEEE Network Operations and Management Symposium 2025
DOI: 10.1109/NOMS57970.2025.11073737

2023

Berger C., Schwarz-Rüsch S., Vogel A., Bleeke K., Jehl L., Reiser HP., Kapitza R.:
SoK: Scalability Techniques for BFT Consensus
IEEE International Conference on Blockchain and Cryptocurrency (Dubai, United Arab Emirates, 1. May 2023 - 5. May 2023)
In: Proceedings of the 5th IEEE International Conference on Blockchain and Cryptocurrency 2023
DOI: 10.48550/arXiv.2303.11045
URL: https://arxiv.org/pdf/2303.11045.pdf

2022

Blech C., Dreyer N., Friebel B., R. Jacob C., Shamil Jassim M., Jehl L., Kapitza R., Krafczyk M., Kürner T., C. Langer S., Linxweiler J., Mahhouk M., Marcus S., Messadi I., Peters S., Pilawa JM., K. Sreekumar H., Strötgen R., Stump K., Vogel A., Wolter M.:
SURESOFT: Towards Sustainable Research Software
(2022)
Open Access: https://ev.campussource.de/publikationen/csa2022/suresoft.html
URL: https://ev.campussource.de/publikationen/csa2022/suresoft.html
(online publication)

Winter term 2023/24

Web-basierte Systeme

Systemnahe Programmierung in C

Web-based systems at TU Braunschweig

Anomalieerkennung in WebAssembly: Betreuer: Prof. Dr.-Ing. Rüdiger Kapitza, Arne Vogel, M. Sc.

Automated Diversification of BFT Implementations: Betreuer: Prof. Dr.-Ing. Rüdiger Kapitza, Arne Vogel, M. Sc.

Baumbasierte Anomalieerkennung für WebAssembly: Betreuer: Prof. Dr.-Ing. Rüdiger Kapitza, Arne Vogel, M. Sc.

Confidence in Diversified Code through Differential Fuzzing: Betreuer: Prof. Dr.-Ing. Rüdiger Kapitza, Arne Vogel, M. Sc.

Designing and Implementing a Reactive Frontend Framework in WebAssembly: Betreuer: Prof. Dr.-Ing. Rüdiger Kapitza, Arne Vogel, M. Sc.

Efficient Anomaly Detection for WebAssembly using Machine Learning: Betreuer: Prof. Dr.-Ing. Rüdiger Kapitza, Arne Vogel, M. Sc.

GenerousHost: Collective Hosting of Websites: Betreuer: Prof. Dr.-Ing. Rüdiger Kapitza, Arne Vogel, M. Sc., Harald Böhm, M. Sc.

Improving Static Call Graph Analysis for WebAssembly: Bearbeiter: Jannik Schütz (beendet am 08.03.2024 ); Betreuer: Prof. Dr.-Ing. Rüdiger Kapitza, Maximilian Seidler, M. Sc., Arne Vogel, M. Sc.

Optimized Anomaly Detection in WebAssembly: Betreuer: Prof. Dr.-Ing. Rüdiger Kapitza, Arne Vogel, M. Sc.

Using Formal Specifications for the Generation of Distributed Systems with LLMs: Betreuer: Prof. Dr.-Ing. Rüdiger Kapitza, Arne Vogel, M. Sc.

VulnWASM: a WebAssembly Exploit Dataset: Betreuer: Prof. Dr.-Ing. Rüdiger Kapitza, Arne Vogel, M. Sc.

WasmBench: Generating a Comprehensive WebAssembly Benchmark from Real-World Rust Crates: Betreuer: Prof. Dr.-Ing. Rüdiger Kapitza, Arne Vogel, M. Sc.