Type Test Elimination Using Typeflow Analysis. - Diane Corney; K. John Gough (Programming Languages and System Architectures, 1994)

Evaluating the Java Virtual Machine as a Target for Languages Other Than Java. - K. John Gough; Diane Corney (JMLC, 2000)

Leveraging Managed Frameworks from Modular Languages. - K. John Gough; Diane Corney (JMLC, 2003)

Integrating hardware and software information flow analyses. - Colin J. Fidge; Diane Corney (LCTES, 2009)

Security Metrics for Object-Oriented Class Designs. - Bandar M. Alshammari; Colin J. Fidge; Diane Corney (QSIC, 2009)

Assessing the Impact of Refactoring on Security-Critical Object-Oriented Designs. - Bandar M. Alshammari; Colin J. Fidge; Diane Corney (APSEC, 2010)

Security Metrics for Object-Oriented Designs. - Bandar M. Alshammari; Colin J. Fidge; Diane Corney (Australian Software Engineering Conference, 2010)

Automatic Generation of Assertions to Detect Potential Security Vulnerabilities in C Programs That Use Union and Pointer Types. - Shamsul Kamal Ahmad Khalid; Jacob Zimmermann; Diane Corney; Colin J. Fidge (NSS, 2010)

A Hierarchical Security Assessment Model for Object-Oriented Programs. - Bandar M. Alshammari; Colin J. Fidge; Diane Corney (QSIC, 2011)

Data Flow Analysis of Embedded Program Expressions. - Christopher Doble; Colin J. Fidge; Diane Corney (AISC, 2012)

Tool-Supported Dataflow Analysis of a Security-Critical Embedded Device. - Chris Mills; Colin J. Fidge; Diane Corney (AISC, 2012)

Security Metrics for Java Bytecode Programs (S). - Bandar M. Alshammari; Colin J. Fidge; Diane Corney (SEKE, 2013)

Scalable Static Analysis to Detect Security Vulnerabilities: Challenges and Solutions. - François Gauthier 001; Nathan Keynes; Nicholas Allen; Diane Corney; Padmanabhan Krishnan (SecDev, 2018)