Preliminary Experience Using Z to Specify a Safety-Critical System. - John C. Knight; Darrell M. Kienzle (Z User Workshop, 1992)

A Logic of Composition for Information Flow Predicates. - Ramesh V. Peri; William A. Wulf; Darrell M. Kienzle (CSFW, 1996)

A new model of security for distributed systems. - William A. Wulf; Chenxi Wang; Darrell M. Kienzle (NSPW, 1996)

A practical approach to security assessment. - Darrell M. Kienzle; William A. Wulf (NSPW, 1997)

Some weaknesses of the TCB model. - Bob Blakley 001; Darrell M. Kienzle (S&P, 1997)

Recent worms: a survey and trends. - Darrell M. Kienzle; Matthew C. Elder (WORM, 2003)

External monitoring of endpoint configuration compliance. - Darrell M. Kienzle; Ryan Persaud; Matthew C. Elder (CSIIRW, 2009)

Endpoint Configuration Compliance Monitoring via Virtual Machine Introspection. - Darrell M. Kienzle; Ryan Persaud; Matthew C. Elder (HICSS, 2010)

The MINESTRONE Architecture Combining Static and Dynamic Analysis Techniques for Software Security. - Angelos D. Keromytis; Salvatore J. Stolfo; Junfeng Yang; Angelos Stavrou; Anup K. Ghosh; Dawson R. Engler; Marc Dacier; Matthew C. Elder; Darrell M. Kienzle (SysSec@DIMVA, 2011)

The MEERKATS Cloud Security Architecture. - Angelos D. Keromytis; Roxana Geambasu; Simha Sethumadhavan; Salvatore J. Stolfo; Junfeng Yang; Azzedine Benameur; Marc Dacier; Matthew C. Elder; Darrell M. Kienzle; Angelos Stavrou (ICDCS Workshops, 2012)

NICE: Network Introspection by Collaborating Endpoints. - Darrell M. Kienzle; Nathan S. Evans; Matthew C. Elder (CNS, 2013)

NICE: endpoint-based topology discovery. - Darrell M. Kienzle; Nathan S. Evans; Matthew C. Elder (CISR, 2014)