An Environment for the Reverse Engineering of Executable Programs. - Cristina Cifuentes (APSEC, 1995)

Decompilation of Binary Programs. - Cristina Cifuentes; K. John Gough (Softw. Pract. Exp., 1995)

Teaching C/C++ to computer science students with pascal programming experience. - Cristina Cifuentes; Barry Brannan (ACSE, 1996)

Structuring Decompiled Graphs. - Cristina Cifuentes (CC, 1996)

Binary Translation: Static, Dynamic, Retargetable? - Cristina Cifuentes; Vishv M. Malhotra (ICSM, 1996)

Partial Automation of an Integrated Reverse Engineering Environment of Binary Code. - Cristina Cifuentes (WCRE, 1996)

Introduction of a CASE tool to teach structured analysis. - Cristina Cifuentes; Carmen Lockwood (Comput. Educ., 1996)

Australian Recommendations on Computer Software Protection. - Cristina Cifuentes; Anne Fitzgerald (Comput. J., 1996)

Interprocedural data flow decompilation. - Cristina Cifuentes (J. Program. Lang., 1996)

Software Patents. - Cristina Cifuentes (Australian Software Engineering Conference, 1997)

SRL 3/4-A Simple Retargetable Loader. - David Ung; Cristina Cifuentes (Australian Software Engineering Conference, 1997)

Copyright in Shareware Software Distributed on the Internet - The Trumpet Winsock Case. - Cristina Cifuentes; Anne Fitzgerald (ICSE, 1997)

Intraprocedural Static Slicing of Binary Executables. - Cristina Cifuentes; Antoine Fraboulet (ICSM, 1997)

Copyright in Shareware Programs Distributed on the Internet. - Cristina Cifuentes; Anne Fitzgerald (Aust. Comput. J., 1997)

Introducing a legal strand in the computer science curriculum. - Cristina Cifuentes; Anne Fitzgerald (ACSE, 1998)

Assembly to High-Level Language Translation. - Cristina Cifuentes; Doug Simon; Antoine Fraboulet (ICSM, 1998)

Specifying the Semantics of Machine Instructions. - Cristina Cifuentes; Shane Sendall (IWPC, 1998)

The Impact of Copyright on the Development of Cutting Edge Binary Reverse Engineering Technology. - Cristina Cifuentes (WCRE, 1999)

The Design of a Resourceable and Retargetable Binary Translator. - Cristina Cifuentes; Mike Van Emmerik; Norman Ramsey (WCRE, 1999)

Procedure Abstraction Recovery from Binary Code. - Cristina Cifuentes; Doug Simon (CSMR, 2000)

Machine-adaptable dynamic binary translation. - David Ung; Cristina Cifuentes (Dynamo, 2000)

Dynamic Re-engineering of Binary Code with Run-time Feedbacks. - David Ung; Cristina Cifuentes (WCRE, 2000)

The legal status of reverse engineering of computer software. - Cristina Cifuentes; Anne Fitzgerald (Ann. Softw. Eng., 2000)

UQBT: Adaptive Binary Translation at Low Cost. - Cristina Cifuentes; Mike Van Emmerik (Computer, 2000)

Computer Security Analysis through Decompilation and High-Level Debugging. - Cristina Cifuentes; Trent Waddington; Mike Van Emmerik (WCRE, 2001)

The Profession - Reverse Engineering and the Computing Profession. - Cristina Cifuentes (Computer, 2001)

Recovery of jump table case statements from binary code. - Cristina Cifuentes; Mike Van Emmerik (Sci. Comput. Program., 2001)

Optimising hot paths in a dynamic binary translator. - David Ung; Cristina Cifuentes (SIGARCH Comput. Archit. News, 2001)

Analysis of Virtual Method Invocation for Binary Translation. - Jens Tröger; Cristina Cifuentes (WCRE, 2002)

A transformational approach to binary translation of delayed branches. - Norman Ramsey; Cristina Cifuentes (ACM Trans. Program. Lang. Syst., 2003)

Partitioning of Code for a Massively Parallel Machine. - Michael Ball 002; Cristina Cifuentes; Deepankar Bairagi (IEEE PACT, 2004)

The squawk virtual machine: Java on the bare metal. - Doug Simon; Cristina Cifuentes (OOPSLA Companion, 2005)

JavaTM on the bare metal of wireless sensor devices: the squawk Java virtual machine. - Doug Simon; Cristina Cifuentes; Dave Cleal; John Daniels; Derek White (VEE, 2006)

Dynamic binary translation using run-time feedbacks. - David Ung; Cristina Cifuentes (Sci. Comput. Program., 2006)

Parfait - Designing a Scalable Bug Checker. - Cristina Cifuentes; Bernhard Scholz (Scalable Program Analysis, 2008)

Parfait - A Scalable Bug Checker for C Code. - Cristina Cifuentes (SCAM, 2008)

User-Input Dependence Analysis via Graph Reachability. - Bernhard Scholz; Chenyi Zhang 001; Cristina Cifuentes (SCAM, 2008)

Program analysis for bug detection using parfait: invited talk. - Cristina Cifuentes; Nathan Keynes; Lian Li; Bernhard Scholz (PEPM, 2009)

Practical and effective symbolic analysis for buffer overflow detection. - Lian Li; Cristina Cifuentes; Nathan Keynes (SIGSOFT FSE, 2010)

Static deep error checking in large system applications using parfait. - Cristina Cifuentes; Nathan Keynes; Lian Li; Nathan Hawes; Manuel Valdiviezo; Andrew Browne; Jacob Zimmermann; Andrew Craik; Douglas Teoh; Christian Hoermann (SIGSOFT FSE, 2011)

Boosting the performance of flow-sensitive points-to analysis using value flow. - Lian Li; Cristina Cifuentes; Nathan Keynes (SIGSOFT FSE, 2011)

Transitioning Parfait into a Development Tool. - Cristina Cifuentes; Nathan Keynes; Lian Li; Nathan Hawes; Manuel Valdiviezo (IEEE Secur. Priv., 2012)

SIGPLAN treasurer's report. - Cristina Cifuentes (ACM SIGPLAN Notices, 2012)

Internal Deployment of the Parfait Static Code Analysis Tool at Oracle - (Invited Talk). - Cristina Cifuentes; Nathan Keynes (APLAS, 2013)

Path-Sensitive Data Flow Analysis Simplified. - Kirsten Winter; Chenyi Zhang 001; Ian J. Hayes; Nathan Keynes; Cristina Cifuentes; Lian Li (ICFEM, 2013)

Precise and scalable context-sensitive pointer analysis via value flow graph. - Lian Li; Cristina Cifuentes; Nathan Keynes (ISMM, 2013)

A Method for Scalable and Precise Bug Finding Using Program Analysis and Model Checking. - Manuel Valdiviezo; Cristina Cifuentes; Padmanabhan Krishnan (APLAS, 2014)

Understanding caller-sensitive method vulnerabilities: a class of access control vulnerabilities in the Java platform. - Cristina Cifuentes; Andrew Gross; Nathan Keynes (SOAP@PLDI, 2015)

Frappé: Querying the Linux Kernel Dependency Graph. - Nathan Hawes; Ben Barham; Cristina Cifuentes (GRADES@SIGMOD/PODS, 2015)

Machine learning for finding bugs: An initial report. - Timothy Chappell; Cristina Cifuentes; Padmanabhan Krishnan; Shlomo Geva (MaLTeSQuE, 2017)

Buffer overflow detection for C programs is hard to learn. - Yang Zhao; Xingzhong Du; Paddy Krishnan; Cristina Cifuentes (ISSTA/ECOOP Workshops, 2018)

What is a Secure Programming Language? - Cristina Cifuentes; Gavin M. Bierman (SNAPL, 2019)

Dynamic Graph Map Animation. - Seok-Hee Hong 001; Peter Eades; Marnijati Torkel; Weidong Huang 001; Cristina Cifuentes (PacificVis, 2020)

ColdPress: An Extensible Malware Analysis Platform for Threat Intelligence. - Haoxi Tan; Mahin Chandramohan; Cristina Cifuentes; Guangdong Bai; Ryan K. L. Ko (CoRR, 2021)

Industrial Strength Static Detection for Cryptographic API Misuses. - Ya Xiao 002; Yang Zhao; Nicholas Allen; Nathan Keynes; Danfeng Yao; Cristina Cifuentes (SecDev, 2022)

Being the Developers' Friend: Our Experience Developing a High-Precision Tool for Secure Coding. - Danfeng Daphne Yao; Sazzadur Rahaman; Ya Xiao 002; Sharmin Afrose; Miles Frantz; Ke Tian; Na Meng 001; Cristina Cifuentes; Yang Zhao; Nicholas Allen; Nathan Keynes; Barton P. Miller; et al. (IEEE Secur. Priv., 2022)

Finding an Optimal Set of Static Analyzers To Detect Software Vulnerabilities. - Jiaqi He; Revan MacQueen; Natalie Bombardieri; Karim Ali 001; James R. Wright; Cristina Cifuentes (ICSME, 2023)

Industrial Experience of Finding Cryptographic Vulnerabilities in Large-scale Codebases. - Ya Xiao 002; Yang Zhao; Nicholas Allen; Nathan Keynes; Danfeng (Daphne) Yao; Cristina Cifuentes (DTRAP, 2023)

Why Is Static Application Security Testing Hard to Learn? - Padmanabhan Krishnan; Cristina Cifuentes; Li Li 029; Tegawendé F. Bissyandé; Jacques Klein (IEEE Secur. Priv., 2023)

The role of program analysis in security vulnerability detection: Then and now. - Cristina Cifuentes; François Gauthier 001; Behnaz Hassanshahi; Padmanabhan Krishnan; Davin McCall (Comput. Secur., 2023)