Prabhat K. Singh

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- 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]