@InProceedings{	  gehring.mantel:towards,
  author	= {Maximilian Gehring and Heiko Mantel},
  title		= {Towards A More Sustainable Re-Engineering Of Heterogeneous
		  Distributed Systems Using Cooperating Run-Time Monitors},
  booktitle	= {International Symposium On Leveraging Applications of
		  Formal Methods, Verification and Validation (ISoLA)},
  year		= 2024,
  pdf		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2024/2024-ISoLA-GehringMantel.pdf},
  url		= {http://doi.org/10.1007/978-3-031-75387-9_9}
}

@InProceedings{	  putz.haesler.ea:pairsonic,
  author	= {Florentin Putz and Steffen Haesler and Thomas V\"olkl and
		  Maximilian Gehring and Nils Rollshausen and Matthias
		  Hollick},
  title		= {PairSonic: Helping Groups Securely Exchange Contact
		  Information},
  booktitle	= {CSCW Companion '24: Companion Publication of the 2024
		  Conference on Computer-Supported Cooperative Work and
		  Social Computing},
  year		= 2024,
  url		= {http://doi.org/10.1145/3678884.3681818}
}

@InProceedings{	  see.gehring.ea:binary,
  author	= {Richard August See and Maximilian Gehring and Matthias
		  Fischer and Shankar Karuppayah},
  title		= {Binary Sight-Seeing: Accelerating Reverse Engineering via
		  Point-of-Interest-Beacons},
  booktitle	= {Proceedings of the 39th Annual Computer Security
		  Applications Conference},
  year		= 2023,
  url		= {http://doi.org/10.1145/3627106.3627139}
}

@MastersThesis{	  gehring:program,
  author	= {Maximilian Gehring},
  title		= {Program Slicing as Preprocessing for a Quantitative
		  Security Analysis},
  school	= {TU Darmstadt},
  type		= {Master's Thesis},
  year		= 2023
}