The Dangers of Mitigating Security Design Flaws: A Wireless Case Study. - Nick L. Petroni Jr.; William A. Arbaugh (IEEE Secur. Priv., 2003)

Copilot - a Coprocessor-based Kernel Runtime Integrity Monitor. - Nick L. Petroni Jr.; Timothy Fraser; Jesus Molina; William A. Arbaugh (USENIX Security Symposium, 2004)

Autonomic 802.11 Wireless LAN Security Auditing. - Joel W. Branch; Nick L. Petroni Jr.; Leendert van Doorn; David Safford (IEEE Secur. Priv., 2004)

Proactive key distribution using neighbor graphs. - Arunesh Mishra; Minho Shin; Nick L. Petroni Jr.; T. Charles Clancy; William A. Arbaugh (IEEE Wirel. Commun., 2004)

Security issues in IEEE 802.11 wireless local area networks: a survey. - Arunesh Mishra; Nick L. Petroni Jr.; William A. Arbaugh; Timothy Fraser (Wirel. Commun. Mob. Comput., 2004)

State Machines for Extensible Authentication Protocol (EAP) Peer and Authenticator. - John R. Vollbrecht; Pasi Eronen; Nick L. Petroni Jr.; Yoshihiro Ohba (RFC, 2005)

Applying flow-sensitive CQUAL to verify MINIX authorization check placement. - Timothy Fraser; Nick L. Petroni Jr.; William A. Arbaugh (PLAS, 2006)

An Architecture for Specification-Based Detection of Semantic Integrity Violations in Kernel Dynamic Data. - Nick L. Petroni Jr.; Timothy Fraser; AAron Walters; William A. Arbaugh (USENIX Security Symposium, 2006)

FATKit: A framework for the extraction and analysis of digital forensic data from volatile system memory. - Nick L. Petroni Jr.; AAron Walters; Timothy Fraser; William A. Arbaugh (Digit. Investig., 2006)

Automated detection of persistent kernel control-flow attacks. - Nick L. Petroni Jr.; Michael W. Hicks (CCS, 2007)

Property-based Integrity Monitoring of Operating System Kernels. - Nick L. Petroni Jr. (2008)