Login / Signup
TitanCFI: Toward Enforcing Control-Flow Integrity in the Root -of- Trust.
Emanuele Parisi
Alberto Musa
Simone Manoni
Maicol Ciani
Davide Rossi
Francesco Barchi
Andrea Bartolini
Andrea Acquaviva
Published in:
DATE (2024)
Keyphrases
</>
control flow
data flow
trusted computing
trust model
process model
software testing
workflow management systems
transition systems
tree structure
reactive systems
computing environments
formal semantics
software systems
error rate
data structure
training data
business process models
learning algorithm