Publications

• Integrating Static Analyses for High-Precision Control-Flow Integrity
  Florian Kasten, Philipp Zieris, and Julian Horsch
  September 2024. In Proceedings of the 27th International Symposium on Research in Attacks, Intrusions and Defenses (RAID). ACM.
• Gateway to the Danger Zone: Secure and Authentic Remote Reset in Machine Safety
  Sebastian N. Peters, Nikolai Puch, Michael P. Heinl, Philipp Zieris, Mykolai Protsenko, Thorsten Larsen-Vefring, Marcel Ely Gomes, Aliza Maftun, Thomas Zeschg
  July 2024. In Proceedings of the 19th International Conference on Availability, Reliability and Security (ARES). ACM.
• ParsEval: Evaluation of Parsing Behavior using Real-world Out-in-the-wild X.509 Certificates
  Stefan Tatschner, Sebastian N. Peters, Michael P. Heinl, Tobias Specht, Thomas Newe
  July 2024. In Proceedings of the 19th International Conference on Availability, Reliability and Security (ARES). ACM.
• From Standard to Practice: Towards ISA/IEC 62443-Conform Public Key Infrastructures
  Michael P. Heinl, Maximilian Pursche, Nikolai Puch, Sebastian N. Peters, Alexander Giehl
  September 2023. In 42nd International Conference on Computer Safety, Reliability, and Security (SAFECOMP). Springer.
• A Quic(k) Security Overview: A Literature Research on Implemented Security Recommendations
  Stefan Tatschner, Sebastian Peters, David Emeis, John Morris, Thomas Newe
  August 2023. In ARES '23: Proceedings of the 18th International Conference on Availability, Reliability and Security. ACM.
• GuaranTEE: Introducing Control-Flow Attestation for Trusted Execution Environments
  Mathias Morbitzer, Benedikt Kopf, Philipp Zieris
  July 2023. In 2023 IEEE 16th International Conference on Cloud Computing (CLOUD). IEEE.