The Design of a Test Case Definition Language. - David Byers; Magnus Engström; Mariam Kamkar (AADEBUG, 1997)

A Hybrid Approach to Propagation Analysis. - David Byers; Mariam Kamkar (AADEBUG, 1997)

Full-Text Indexing of Non-Textual Resources. - David Byers (Comput. Networks, 1998)

Syntax-Directed Construction of Value Dependence Graphs. - David Byers; Mariam Kamkar; Ture Pålsson (ICSM, 2001)

Static Slicing and Parametric Polymorphism. - David Byers; Mariam Kamkar (SCAM, 2001)

Towards a structured unified process for software security. - Shanai Ardi; David Byers; Nahid Shahmehri (SESS@ICSE, 2006)

Modeling Software VulnerabilitiesWith Vulnerability Cause Graphs. - David Byers; Shanai Ardi; Nahid Shahmehri; Claudiu Duma (ICSM, 2006)

How can the developer benefit from security modeling? - Shanai Ardi; David Byers; Per Håkon Meland; Inger Anne Tøndel; Nahid Shahmehri (ARES, 2007)

Design of a Process for Software Security. - David Byers; Nahid Shahmehri (ARES, 2007)

A Cause-Based Approach to Preventing Software Vulnerabilities. - David Byers; Nahid Shahmehri (ARES, 2008)

Contagious errors: Understanding and avoiding issues with imaging drives containing faulty sectors. - David Byers; Nahid Shahmehri (Digit. Investig., 2008)

Prioritisation and Selection of Software Security Activities. - David Byers; Nahid Shahmehri (ARES, 2009)

A systematic evaluation of disk imaging in EnCase® 6.8 and LinEn 6.1. - David Byers; Nahid Shahmehri (Digit. Investig., 2009)

2-clickAuth. - Anna Vapen; David Byers; Nahid Shahmehri (ARES, 2010)

Unified modeling of attacks, vulnerabilities and security activities. - David Byers; Nahid Shahmehri (SESS@ICSE, 2010)

TRAP: Open Decentralized Distributed Spam Filtering. - Nahid Shahmehri; David Byers; Rahul Hiran (TrustBus, 2011)

An advanced approach for modeling and detecting software vulnerabilities. - Nahid Shahmehri; Amel Mammar; Edgardo Montes de Oca; David Byers; Ana R. Cavalli; Shanai Ardi; Willy Jimenez (Inf. Softw. Technol., 2012)