VX Heavens

Library Collection Sources Engines Constructors Simulators Utilities Links Donate Forum

[Back to category index]

Lakhotia, Arun; Singh, Prabhat “Challenges in getting 'formal' with viruses” is cited in 2 articles:

Matt Webster «Algebraic Specification of Computer Viruses and Their Environments»
Arun Lakhotia, Moinuddin Mohammed «Imposing Order on Program Statements to Assist Anti-Virus Scanners»