Analysis and Detection of Computer Viruses and Worms: An Annotated Bibliography. - Prabhat K. Singh; Arun Lakhotia (ACM SIGPLAN Notices, 2002)

Static Verification of Worm and virus Behavior in binary Executables using Model Checking. - Prabhat K. Singh; Arun Lakhotia (IAW, 2003)