Robert Krahn
Robert trat 2015 der Systems Engineering Gruppe bei, um als wissenschaftlicher Mitarbeiter zu arbeiten und seine Promotion zu verfolgen. Das zugrunde liegende Thema seiner Forschung sind Sicherheitsmechanismen im Cloud-Computing, insbesondere in Bezug auf die sichere Ausführung von Anwendungen. Der Schwerpunkt liegt auf der Intel-SGX-Technologie und dem SCONE-Framework. In diesem Bereich untersucht Robert Leistungsprobleme und deren Gegenmaßnahmen.
Contact information
E-Mail: firstname.lastname@tu-dresden.de
Phone: +49 351 463-42358
Office: APB 3077
Teaching
- CDS Lab ('17, '18, '19, '20, '21, '22, '23, '24)
- Programming Exercise ('23)
- SE2 Assignment 1 (Winter '19, '20, '22)
- SFT Exercise (Summer '20, '22)
- SE Lab ('18, '19, '20, '21)
- SE Proseminar (Summer '18)
- 1 lecture of FCDS (Summer '18)
- PODS winter 2017 (general contact)
- Erasmus coordination (2015)
Project Participations
- Neardata (development towards secure execution of software)
- Design and Modeling of Confidential Cloud Computing for e-Health (Gematik)
- SFB Transregio 96 (proposal writing, research of secure datacenter services for manufacturing) (Project @ DFG)
- EuroSys 2019 (organization of local conference arrangements and web chair)
- Atmosphere (progress monitoring)
- Selis (software development)
- DynAPSys (software development, evaluation and project termination)
- TROX (progress reporting)
Research Grants
Supervised Students
A ready-to-go latex thesis template is available here.
Official templates by TUD can be found here (see templates and downloads).
Name | Topic |
---|---|
Leonard Wilhelm |
Detecting Software Vulnerabilities with RUST tools. |
Julius Wenzel | Transforming and analyzing YAML requirements and their assessment in Prolog. |
Puneetha Jangir Lok Ram Jangir | Formal policy conformity in cloud systems |
Max Ostermann | Single Sign-On for a Confidential Document Manager |
Greisa Ajdini | Containerized simulation execution with Qt and Matlab |
Richard Steinmetz | Chaos Monkey für MAAS und Kubernetes |
Azizul Hakim Shakil | Automated secure application deployment in Kubernetes |
Josia Mädler |
Sconification of docker images; |
Muhammad Ashfaqur Rahman | Automated benchmarking and monitoring of SGX applications |
Nikson Paul | An integrity protected file system layer for Intel SGX |
Roland Kunkel | Preencrypted data in TLS connections |
Titouan Bion | Data visualization for YCSB benchmarks |
Interesting Articles about Confidential Cloud Computing
Toward Confidential Cloud Computing (ACM)
Enclaves in the Clouds (ACM)
Picking the right colors
We're often confronted with picking 'good' colors for papers and presentations. Some nice examples and pages that I find helpful:
The economist - 2019 in graphic detail
Nytimes - Ads on FB
https://colorbrewer2.org
http://tallys.github.io/color-theory/
Scientific Visualization with Matplotlib
github.com/rougier/scientific-visualization-book
Research interests
- Automated parameter tuning
- Performance monitoring / optimization
- Intel SGX
- Seagate Kinetic Disks
- Protected Storage, NVMeOF, RoCE
- Automated Orchestration
Publications
2024
-
TICAL: Trusted and Integrity-protected Compilation of AppLications , 2024, S. 25-32, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
2023
-
SinClave: Hardware-assisted Singletons for TEEs , 27 Nov. 2023, S. 85-97, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Adaptive Thermal Model for Structure Model Based Correction , 2 Juni 2023, Lecture Notes in Production Engineering. S. 67-82, 16 S., Chapter 6Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
2021
-
ADAM-CS: Advanced Asynchronous Monotonic Counter Service , Juni 2021, S. 426-437, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
2020
-
TEEMon: A Continuous Performance Monitoring Framework for TEEs , 2020, S. 178–192Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
2018
-
LibSEAL: Revealing Service Integrity Violations Using Trusted Execution , 2018, S. 1-15, 1 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Pesos: Policy Enhanced Secure Object Store , 2018, 1 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
PubSub-SGX: Exploiting Trusted Execution Environments for Privacy-Preserving Publish/Subscribe Systems , 2018Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Varys: Protecting SGX Enclaves from Practical Side-Channel Attacks , 2018, S. 227-240, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
2017
-
TaLoS: Secure and Transparent TLS Termination inside SGX Enclaves , 2017, 4 S.Publikation: Vorabdruck/Dokumentation/Bericht > Arbeitspapier