Analysis of an Algorithm for Distributed Recognition and Accountability. - Calvin Ko; Deborah A. Frincke; Terrance Goan; Todd L. Heberlein; Karl N. Levitt; Biswanath Mukherjee; Christopher Wee (CCS, 1993)

Automated detection of vulnerabilities in privileged programs by execution monitoring. - Calvin Ko; George Fink; Karl N. Levitt (ACSAC, 1994)

Execution Monitoring of Security-Critical Programs in Distributed Systems: A Specification-Based Approach. - Calvin Ko; Manfred Ruschitzka; Karl N. Levitt (S&P, 1997)

Logic Induction of Valid Behavior Specifications for Intrusion Detection. - Calvin Ko (S&P, 2000)

Detecting and Countering System Intrusions Using Software Wrappers. - Calvin Ko; Timothy Fraser; Lee Badger; Douglas Kilpatrickv (USENIX Security Symposium, 2000)

System Health and Intrusion Monitoring Using a Hierarchy of Constraints. - Calvin Ko; Paul Brutch; Jeff Rowe; Guy Tsafnat; Karl N. Levitt (Recent Advances in Intrusion Detection, 2001)

Detecting and Defending against Web-Server Fingerprinting. - Dustin Lee; Jeff Rowe; Calvin Ko; Karl N. Levitt (ACSAC, 2002)

Noninterference and Intrusion Detection. - Calvin Ko; Timothy Redmond (S&P, 2002)

System Health and Intrusion Monitoring: Technology Description. - Calvin Ko (DISCEX (2), 2003)

System Health and Intrusion Monitoring (SHIM): Project Summary. - Calvin Ko; Karl N. Levitt (DISCEX (2), 2003)

Challenges in Intrusion Detection for Wireless Ad-hoc Networks. - Paul Brutch; Calvin Ko (SAINT Workshops, 2003)

A specification-based intrusion detection system for AODV. - Chinyang Henry Tseng; Poornima Balasubramanyam; Calvin Ko; Rattapon Limprasittiporn; Jeff Rowe; Karl N. Levitt (SASN, 2003)

Formal Reasoning About Intrusion Detection Systems. - Tao Song; Calvin Ko; Jim Alves-Foss; Cui Zhang; Karl N. Levitt (RAID, 2004)

Formal Reasoning About a Specification-Based Intrusion Detection for Dynamic Auto-configuration Protocols in Ad Hoc Networks. - Tao Song; Calvin Ko; Chinyang Henry Tseng; Poornima Balasubramanyam; Anant Chaudhary; Karl N. Levitt (Formal Aspects in Security and Trust, 2005)

A General Cooperative Intrusion Detection Architecture for MANETs. - Daniel F. Sterne; Poornima Balasubramanyam; David Carman; Brett Wilson; Rajesh Talpade; Calvin Ko; Ravindra Balupari; Chinyang Henry Tseng; Thomas F. Bowen; Karl N. Levitt; Jeff Rowe (IWIA, 2005)

A Specification-Based Intrusion Detection Model for OLSR. - Chinyang Henry Tseng; Tao Song; Poornima Balasubramanyam; Calvin Ko; Karl N. Levitt (RAID, 2005)

Measuring denial Of service. - Jelena Mirkovic; Peter L. Reiher; Sonia Fahmy; Roshan K. Thomas; Alefiya Hussain; Stephen Schwab; Calvin Ko (QoP, 2006)

DEMEM: Distributed Evidence-Driven Message Exchange Intrusion Detection Model for MANET. - Chinyang Henry Tseng; Shiau-Huey Wang; Calvin Ko; Karl N. Levitt (RAID, 2006)

SEER: A Security Experimentation EnviRonment for DETER. - Brett Wilson; Calvin Ko; Alefiya Hussain (DETER, 2007)

Tools for worm experimentation on the DETER testbed. - Songjie Wei; Alefiya Hussain; Jelena Mirkovic; Calvin Ko (Int. J. Commun. Networks Distributed Syst., 2010)