Plattformsicherheit - wie aktuell sind jahrzehntealte Konzepte heute? - Kai Martius; Alexander Senier (Datenschutz und Datensicherheit, 2012)

PrettyCat: Adaptive guarantee-controlled software partitioning of security protocols. - Alexander Senier; Martin Beck; Thorsten Strufe (CoRR, 2017)

RecordFlux: Formal Message Specification and Generation of Verifiable Binary Parsers. - Tobias Reiher; Alexander Senier; Jerónimo Castrillón; Thorsten Strufe (FACS, 2019)

Tutorial: The End of Binary Protocol Parser Vulnerabilities : Using RecordFlux and SPARK to implement formally-verified binary formats and communication protocols. - Alexander Senier (SecDev, 2023)