David Byers

Publication Activity (10 Years)

Years Active: 1997-2012
Publications (10 Years): 0

Top Topics

Automatic Detection

Modeling Language

Top Venues

Inf. Softw. Technol.

Publications

Nahid Shahmehri, Amel Mammar, Edgardo Montes de Oca, David Byers, Ana R. Cavalli, Shanai Ardi, Willy Jimenez
An advanced approach for modeling and detecting software vulnerabilities. Inf. Softw. Technol. 54 (9) (2012)
Nahid Shahmehri, David Byers, Rahul Hiran
TRAP: Open Decentralized Distributed Spam Filtering. TrustBus (2011)
Anna Vapen, David Byers, Nahid Shahmehri
2-clickAuth. ARES (2010)
David Byers, Nahid Shahmehri
Unified modeling of attacks, vulnerabilities and security activities. SESS@ICSE (2010)
David Byers, Nahid Shahmehri
6.8 and LinEn 6.1. Digit. Investig. 6 (1-2) (2009)
David Byers, Nahid Shahmehri
Prioritisation and Selection of Software Security Activities. ARES (2009)
David Byers, Nahid Shahmehri
A Cause-Based Approach to Preventing Software Vulnerabilities. ARES (2008)
David Byers, Nahid Shahmehri
Contagious errors: Understanding and avoiding issues with imaging drives containing faulty sectors. Digit. Investig. 5 (1-2) (2008)
Shanai Ardi, David Byers, Per Håkon Meland, Inger Anne Tøndel, Nahid Shahmehri
How can the developer benefit from security modeling? ARES (2007)
David Byers, Nahid Shahmehri
Design of a Process for Software Security. ARES (2007)
Shanai Ardi, David Byers, Nahid Shahmehri
Towards a structured unified process for software security. SESS@ICSE (2006)
David Byers, Shanai Ardi, Nahid Shahmehri, Claudiu Duma
Modeling Software VulnerabilitiesWith Vulnerability Cause Graphs. ICSM (2006)
David Byers, Mariam Kamkar
Static Slicing and Parametric Polymorphism. SCAM (2001)
David Byers, Mariam Kamkar, Ture Pålsson
Syntax-Directed Construction of Value Dependence Graphs. ICSM (2001)
David Byers
Full-Text Indexing of Non-Textual Resources. Comput. Networks 30 (1-7) (1998)
David Byers, Mariam Kamkar
A Hybrid Approach to Propagation Analysis. AADEBUG (1997)
David Byers, Magnus Engström, Mariam Kamkar
The Design of a Test Case Definition Language. AADEBUG (1997)