Diane Corney

According to our database, Diane Corney authored at least 13 papers between 1994 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2018

Scalable Static Analysis to Detect Security Vulnerabilities: Challenges and Solutions.

François Gauthier, Nathan Keynes, Nicholas Allen, Diane Corney, Padmanabhan Krishnan

Proceedings of the 2018 IEEE Cybersecurity Development, SecDev 2018, Cambridge, MA, USA, 2018

2013

Security Metrics for Java Bytecode Programs (S).

Bandar Alshammari, Colin J. Fidge, Diane Corney

Proceedings of the 25th International Conference on Software Engineering and Knowledge Engineering, 2013

2012

Tool-Supported Dataflow Analysis of a Security-Critical Embedded Device.

Chris Mills, Colin J. Fidge, Diane Corney

Proceedings of the Tenth Australasian Information Security Conference, 2012

Data Flow Analysis of Embedded Program Expressions.

Christopher Doble, Colin J. Fidge, Diane Corney

Proceedings of the Tenth Australasian Information Security Conference, 2012

2011

A Hierarchical Security Assessment Model for Object-Oriented Programs.

Bandar Alshammari, Colin J. Fidge, Diane Corney

Proceedings of the 11th International Conference on Quality Software, 2011

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

Proceedings of the Fourth International Conference on Network and System Security, 2010

Security Metrics for Object-Oriented Designs.

Bandar Alshammari, Colin J. Fidge, Diane Corney

Proceedings of the 21st Australian Software Engineering Conference (ASWEC 2010), 2010

Assessing the Impact of Refactoring on Security-Critical Object-Oriented Designs.

Bandar Alshammari, Colin J. Fidge, Diane Corney

Proceedings of the 17th Asia Pacific Software Engineering Conference, 2010

2009

Security Metrics for Object-Oriented Class Designs.

Bandar Alshammari, Colin J. Fidge, Diane Corney

Proceedings of the Ninth International Conference on Quality Software, 2009

Integrating hardware and software information flow analyses.

Colin J. Fidge, Diane Corney

Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, 2009

2003

Leveraging Managed Frameworks from Modular Languages.

K. John Gough, Diane Corney

Proceedings of the Modular Programming Languages, Joint Modular Languages Conference, 2003

2000

Evaluating the Java Virtual Machine as a Target for Languages Other Than Java.

K. John Gough, Diane Corney

Proceedings of the Modular Programming Languages, Joint Modular Languages Conference, 2000

1994

Type Test Elimination Using Typeflow Analysis.

Diane Corney, K. John Gough

Proceedings of the Programming Languages and System Architectures, 1994