25 citations · 25 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.CR2018★ 25 cited
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…