Sign in
Detecting Fault Injection Attacks with Runtime Verification.
Ali Kassem
Yliès Falcone
Published in:
CoRR (2019)
Keyphrases
</>
injection attacks
fault diagnosis
recommender systems
model checking
formal methods
collaborative recommender systems
database
public key
formal verification