dblp.uni-trier.dewww.uni-trier.de

Prabhat K. Singh

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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)

Coauthor Index

1Arun Lakhotia [1] [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)