Diane Corney - RankMe

13 papers B 2C 2Misc 2Unranked 7

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