Login / Signup
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