• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Malware and Formal Methods: Rigorous Approaches for detecting Malicious Behaviour.

Fabio MartinelliFrancesco MercaldoVittoria NardoneAntonella Santone
Published in: ARES (2017)
Keyphrases
  • formal methods
  • detecting malicious
  • detect malicious
  • machine learning
  • database
  • data mining
  • web pages
  • knowledge base
  • knowledge based systems
  • model checking
  • modeling language