4 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.PL2019
RecordFlux: Formal Message Specification and Generation of Verifiable Binary Parsers
Tobias Reiher, Alexander Senier, Jeronimo Castrillon +1
Various vulnerabilities have been found in message parsers of protocol implementations in the past. Even highly sensitive software components like TLS libraries are affected regula…
cs.CR2017★ 4 cited
PrettyCat: Adaptive guarantee-controlled software partitioning of security protocols
Alexander Senier, Martin Beck, Thorsten Strufe
One single error can result in a total compromise of all security in today's large, monolithic software. Partitioning of software can help simplify code-review and verification, wh…