Sign in

Detecting Fault Injection Attacks with Runtime Verification.

Ali KassemYliès Falcone
Published in: SPRO@CCS (2019)
Keyphrases
  • injection attacks
  • fault diagnosis
  • recommender systems
  • expert systems
  • formal verification
  • data mining
  • model checking
  • collaborative recommender systems
  • website
  • computer systems