most citedPrettyCat: Adaptive guarantee-controlled software partitioning of security protocols

4 citations · 4 across the 2 of their papers we have counts for

collaborators
Showing cs.PLShow all

1 paper · 1 filter

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…