Login / Signup
Bypassing memory safety mechanisms through speculative control flow hijacks.
Andrea Mambretti
Alexandra Sandulescu
Alessandro Sorniotti
William Robertson
Engin Kirda
Anil Kurmus
Published in:
EuroS&P (2021)
Keyphrases
</>
control flow
data flow
memory hierarchy
process model
software testing
modeling language
transition systems
workflow management systems
formal semantics
main memory
business processes
business process models
information systems
memory requirements
data sets
error rate
computing power
external memory
open source