Login / Signup
APKeep: Realtime Verification for Real Networks.
Peng Zhang
Xu Liu
Hongkun Yang
Ning Kang
Zhengchang Gu
Hao Li
Published in:
NSDI (2020)
Keyphrases
</>
real time
model checking
concurrent systems
signature verification
face verification
activity monitoring
formal verification
neural network
vision system
quality of service
database
multi agent
formal methods
formal analysis
graphics hardware
three dimensional
web services
search engine
standard pc
real world