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

In defense of soundiness: a manifesto.

Benjamin LivshitsManu SridharanYannis SmaragdakisOndrej LhotákJosé Nelson AmaralBor-Yuh Evan ChangSamuel Z. GuyerUday P. KhedkerAnders MøllerDimitrios Vardoulakis
Published in: Commun. ACM (2015)
Keyphrases
  • intrusion detection
  • network security
  • advanced research projects agency
  • cyber defense
  • computer virus
  • databases
  • artificial intelligence
  • computer vision
  • pairwise
  • xml documents
  • ddos attacks