Login / Signup
Alexander Senier
Publication Activity (10 Years)
Years Active: 2012-2023
Publications (10 Years): 4
Top Topics
High Level
Reactive Systems
Formal Languages
Communication Protocols
Top Venues
CoRR
FACS
SecDev
</>
Publications
</>
Alexander Senier
Tutorial: The End of Binary Protocol Parser Vulnerabilities : Using RecordFlux and SPARK to implement formally-verified binary formats and communication protocols.
SecDev
(2023)
Tobias Reiher
,
Alexander Senier
,
Jerónimo Castrillón
,
Thorsten Strufe
RecordFlux: Formal Message Specification and Generation of Verifiable Binary Parsers.
CoRR
(2019)
Tobias Reiher
,
Alexander Senier
,
Jerónimo Castrillón
,
Thorsten Strufe
RecordFlux: Formal Message Specification and Generation of Verifiable Binary Parsers.
FACS
(2019)
Alexander Senier
,
Martin Beck
,
Thorsten Strufe
PrettyCat: Adaptive guarantee-controlled software partitioning of security protocols.
CoRR
(2017)
Kai Martius
,
Alexander Senier
Plattformsicherheit - wie aktuell sind jahrzehntealte Konzepte heute?
Datenschutz und Datensicherheit
36 (9) (2012)