Applying Formal Evaluation to Worm Defense Design.

Raman Sharykin, Phillip A. Porras

Browse the full IPCCC paper archive.