Diane Corney

Publication Activity (10 Years)

Years Active: 1994-2018
Publications (10 Years): 1

Top Topics

Garbage Collection

Security Vulnerabilities

Top Venues

Publications

François Gauthier, Nathan Keynes, Nicholas Allen, Diane Corney, Padmanabhan Krishnan
Scalable Static Analysis to Detect Security Vulnerabilities: Challenges and Solutions. SecDev (2018)
Bandar Alshammari, Colin J. Fidge, Diane Corney
Security Metrics for Java Bytecode Programs (S). SEKE (2013)
Chris Mills, Colin J. Fidge, Diane Corney
Tool-Supported Dataflow Analysis of a Security-Critical Embedded Device. AISC (2012)
Christopher Doble, Colin J. Fidge, Diane Corney
Data Flow Analysis of Embedded Program Expressions. AISC (2012)
Bandar Alshammari, Colin J. Fidge, Diane Corney
A Hierarchical Security Assessment Model for Object-Oriented Programs. QSIC (2011)
Shamsul Kamal Ahmad Khalid, Jacob Zimmermann, Diane Corney, Colin J. Fidge
Automatic Generation of Assertions to Detect Potential Security Vulnerabilities in C Programs That Use Union and Pointer Types. NSS (2010)
Bandar Alshammari, Colin J. Fidge, Diane Corney
Assessing the Impact of Refactoring on Security-Critical Object-Oriented Designs. APSEC (2010)
Bandar Alshammari, Colin J. Fidge, Diane Corney
Security Metrics for Object-Oriented Designs. Australian Software Engineering Conference (2010)
Bandar Alshammari, Colin J. Fidge, Diane Corney
Security Metrics for Object-Oriented Class Designs. QSIC (2009)
Colin J. Fidge, Diane Corney
Integrating hardware and software information flow analyses. LCTES (2009)
K. John Gough, Diane Corney
Leveraging Managed Frameworks from Modular Languages. JMLC (2003)
K. John Gough, Diane Corney
Evaluating the Java Virtual Machine as a Target for Languages Other Than Java. JMLC (2000)
Diane Corney, K. John Gough
Type Test Elimination Using Typeflow Analysis. Programming Languages and System Architectures (1994)