Login / Signup
Formal Verification of Interrupt Isolation for the TrustZone-based TEE.
Leping Zhang
Qianying Zhang
Xinyue Wang
Ximeng Li
Guohui Wang
Zhiping Shi
Yong Guan
Published in:
APSEC (2023)
Keyphrases
</>
bayesian networks
formal verification
model checking
patient specific
model checker
bounded model checking
automated verification
symbolic model checking
database systems
temporal logic
coloured petri nets
artificial intelligence
open source
program slicing
functional verification