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.CR2018
You Shall Not Bypass: Employing data dependencies to prevent Bounds Check Bypass
Oleksii Oleksenko, Bohdan Trach, Tobias Reiher +2
A recent discovery of a new class of microarchitectural attacks called Spectre picked up the attention of the security community as these attacks can circumvent many traditional me…