MAIS

Maximilian Gehring

Office:	S2\|02 E322
Phone:	+49 6151 16-25255
Fax:	+49 6151 16-25251
Mail:	gehringmais.informatik.tu-darmstadt.de

TU Darmstadt

Department of Computer Science

Modeling and Analysis of Information Systems

Hochschulstraße 10

D-64289 Darmstadt

Germany

Short 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, 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 | PDF ]

2023

Richard August See, Maximilian Gehring, Mathias Fischer, Shankar Karuppayah. Binary Sight-Seeing: Accelerating Reverse Engineering via Point-of-Interest-Beacons. In Proceedings of the 39th Annual Computer Security Applications Conference (ACSAC '23), 2023.
[ URL ]
Maximilian Gehring. Program Slicing as Preprocessing for a Quantitative Security Analysis. Master's Thesis, TU Darmstadt, 2023.
[ BibTeX entry ]

Last modified on 15 August 2024.