A Proposal for a Verification-Based Virus Filter.

Stephen D. Crocker Maria 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