Sign in
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:
CoRR (2024)
Keyphrases
</>
control flow
data flow
trusted computing
trust model
process model
software testing
real world
business process models
formal semantics
workflow management systems
tree structure
modeling language
data structure
transition systems
black box
business process
virtual organization
data model
machine learning
data sets