Prabhat K. Singh Vis

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - 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)

*	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

1 Arun Lakhotia [1] [2]