| TU Darmstadt |
Image
|
mais.informatik.tu-darmstadt.deShort Bio
Prior to being part of the MAIS group as a PhD candidate, I gained my B.Sc. in Computer Science and M.Sc. in IT-Security at TU Darmstadt.
Research Interests
- Runtime Monitoring
- Static and Dynamic Program Analyses
- Workflow based Systems
- Formal Methods
- Internet-of-Things
Publications
These documents have been provided by the contributing authors as a means
to ensure timely dissemination of scholarly and technical work on a noncommercial basis.
Copyright and all rights therein are retained by authors or by other copyright holders.
All persons copying this information are expected to adhere to the terms and constraints
invoked by each author's copyright. These works may not be reposted without the explicit
permission of the copyright holder.
2024
- Maximilian Gehring and Heiko Mantel. Towards A More Sustainable Re-Engineering Of Heterogeneous Distributed Systems Using Cooperating Run-Time Monitors. In International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), 2024.
[ BibTeX entry | URL | PDF ] - Florentin Putz, Steffen Haesler, Thomas Völkl, Maximilian Gehring, Nils Rollshausen and Matthias Hollick. PairSonic: Helping Groups Securely Exchange Contact Information. In CSCW Companion '24: Companion Publication of the 2024 Conference on Computer-Supported Cooperative Work and Social Computing, 2024.
[ BibTeX entry | URL ]
2023
- Richard August See, Maximilian Gehring, Matthias Fischer and Shankar Karuppayah. Binary Sight-Seeing: Accelerating Reverse Engineering via Point-of-Interest-Beacons. In Proceedings of the 39th Annual Computer Security Applications Conference, 2023.
[ BibTeX entry | URL ] - Maximilian Gehring. Program Slicing as Preprocessing for a Quantitative Security Analysis. Master's Thesis, TU Darmstadt, 2023.
[ BibTeX entry ]
4 hits found
BibTeX file of all entries
BibTeX file of all entries
