Alexander Senier

According to our database, Alexander Senier authored at least 4 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Tutorial: The End of Binary Protocol Parser Vulnerabilities : Using RecordFlux and SPARK to implement formally-verified binary formats and communication protocols.

Alexander Senier

Proceedings of the IEEE Secure Development Conference, 2023

2019

RecordFlux: Formal Message Specification and Generation of Verifiable Binary Parsers.

Tobias Reiher, Alexander Senier, Jerónimo Castrillón, Thorsten Strufe

Proceedings of the Formal Aspects of Component Software - 16th International Conference, 2019

2017

PrettyCat: Adaptive guarantee-controlled software partitioning of security protocols.

Alexander Senier, Martin Beck, Thorsten Strufe

CoRR, 2017

2012

Plattformsicherheit - wie aktuell sind jahrzehntealte Konzepte heute?

Kai Martius, Alexander Senier

Datenschutz und Datensicherheit, 2012