| |
| 2003 | ||
|---|---|---|
| 2 | Prabhat K. Singh, Arun Lakhotia: Static Verification of Worm and virus Behavior in binary Executables using Model Checking. IAW 2003: 298-300 | |
| 2002 | ||
| 1 | Prabhat K. Singh, Arun Lakhotia: Analysis and Detection of Computer Viruses and Worms: An Annotated Bibliography. SIGPLAN Notices 37(2): 29-35 (2002) | |
| 1 | Arun Lakhotia | [1] [2] |