Login / Signup

A Proposal for a Verification-Based Virus Filter.

Stephen D. CrockerMaria Pozzo
Published in: IEEE Symposium on Security and Privacy (1989)
Keyphrases
  • model checking
  • preprocessing step
  • functional verification
  • noise reduction
  • median filter
  • bandpass
  • signature verification
  • asynchronous circuits