Cristina Cifuentes

Publication Activity (10 Years)

Years Active: 1995-2023
Publications (10 Years): 11

Top Topics

Buffer Overflow

Dependency Graphs

Top Venues

IEEE Secur. Priv.

ISSTA/ECOOP Workshops

Publications

Cristina Cifuentes, François Gauthier, Behnaz Hassanshahi, Padmanabhan Krishnan, Davin McCall
The role of program analysis in security vulnerability detection: Then and now. Comput. Secur. 135 (2023)
Padmanabhan Krishnan, Cristina Cifuentes, Li Li, Tegawendé F. Bissyandé, Jacques Klein
Why Is Static Application Security Testing Hard to Learn? IEEE Secur. Priv. 21 (5) (2023)
Jiaqi He, Revan MacQueen, Natalie Bombardieri, Karim Ali, James R. Wright, Cristina Cifuentes
Finding an Optimal Set of Static Analyzers To Detect Software Vulnerabilities. ICSME (2023)
Danfeng Daphne Yao, Sazzadur Rahaman, Ya Xiao, Sharmin Afrose, Miles Frantz, Ke Tian, Na Meng, Cristina Cifuentes, Yang Zhao, Nicholas Allen, Nathan Keynes, Barton P. Miller, Elisa Heymann, Murat Kantarcioglu, Fahad Shaon
Being the Developers' Friend: Our Experience Developing a High-Precision Tool for Secure Coding. IEEE Secur. Priv. 20 (6) (2022)
Ya Xiao, Yang Zhao, Nicholas Allen, Nathan Keynes, Danfeng Yao, Cristina Cifuentes
Industrial Strength Static Detection for Cryptographic API Misuses. SecDev (2022)
Haoxi Tan, Mahin Chandramohan, Cristina Cifuentes, Guangdong Bai, Ryan K. L. Ko
ColdPress: An Extensible Malware Analysis Platform for Threat Intelligence. CoRR (2021)
Seok-Hee Hong, Peter Eades, Marnijati Torkel, Weidong Huang, Cristina Cifuentes
Dynamic Graph Map Animation. PacificVis (2020)
Ya Xiao, Yang Zhao, Nicholas Allen, Nathan Keynes, Danfeng Yao, Cristina Cifuentes
Industrial Experience of Finding Cryptographic Vulnerabilities in Large-scale Codebases. CoRR (2020)
Cristina Cifuentes, Gavin M. Bierman
What is a Secure Programming Language? SNAPL (2019)
Yang Zhao, Xingzhong Du, Paddy Krishnan, Cristina Cifuentes
Buffer overflow detection for C programs is hard to learn. ISSTA/ECOOP Workshops (2018)
Timothy Chappelly, Cristina Cifuentes, Padmanabhan Krishnan, Shlomo Geva
Machine learning for finding bugs: An initial report. MaLTeSQuE@SANER (2017)
Cristina Cifuentes, Andrew Gross, Nathan Keynes
Understanding caller-sensitive method vulnerabilities: a class of access control vulnerabilities in the Java platform. SOAP@PLDI (2015)
Nathan Hawes, Ben Barham, Cristina Cifuentes
Frappé: Querying the Linux Kernel Dependency Graph. GRADES@SIGMOD/PODS (2015)
Manuel Valdiviezo, Cristina Cifuentes, Padmanabhan Krishnan
A Method for Scalable and Precise Bug Finding Using Program Analysis and Model Checking. APLAS (2014)
Kirsten Winter, Chenyi Zhang, Ian J. Hayes, Nathan Keynes, Cristina Cifuentes, Lian Li
Path-Sensitive Data Flow Analysis Simplified. ICFEM (2013)
Lian Li, Cristina Cifuentes, Nathan Keynes
Precise and scalable context-sensitive pointer analysis via value flow graph. ISMM (2013)
Cristina Cifuentes, Nathan Keynes
Internal Deployment of the Parfait Static Code Analysis Tool at Oracle - (Invited Talk). APLAS (2013)
Cristina Cifuentes, Nathan Keynes, Lian Li, Nathan Hawes, Manuel Valdiviezo
Transitioning Parfait into a Development Tool. IEEE Secur. Priv. 10 (3) (2012)
Cristina Cifuentes
SIGPLAN treasurer's report. ACM SIGPLAN Notices 47 (4a) (2012)
Lian Li, Cristina Cifuentes, Nathan Keynes
Boosting the performance of flow-sensitive points-to analysis using value flow. SIGSOFT FSE (2011)
Cristina Cifuentes, Nathan Keynes, Lian Li, Nathan Hawes, Manuel Valdiviezo, Andrew Browne, Jacob Zimmermann, Andrew Craik, Douglas Teoh, Christian Hoermann
Static deep error checking in large system applications using parfait. SIGSOFT FSE (2011)
Lian Li, Cristina Cifuentes, Nathan Keynes
Practical and effective symbolic analysis for buffer overflow detection. SIGSOFT FSE (2010)
Cristina Cifuentes, Nathan Keynes, Lian Li, Bernhard Scholz
Program analysis for bug detection using parfait: invited talk. PEPM (2009)
Cristina Cifuentes
Parfait - A Scalable Bug Checker for C Code. SCAM (2008)
Cristina Cifuentes, Bernhard Scholz
Parfait - Designing a Scalable Bug Checker. Scalable Program Analysis (2008)
Bernhard Scholz, Chenyi Zhang, Cristina Cifuentes
User-Input Dependence Analysis via Graph Reachability. SCAM (2008)
Doug Simon, Cristina Cifuentes, Dave Cleal, John Daniels, Derek White
on the bare metal of wireless sensor devices: the squawk Java virtual machine. VEE (2006)
David Ung, Cristina Cifuentes
Dynamic binary translation using run-time feedbacks. Sci. Comput. Program. 60 (2) (2006)
Doug Simon, Cristina Cifuentes
The squawk virtual machine: Java on the bare metal. OOPSLA Companion (2005)
Michael Ball, Cristina Cifuentes, Deepankar Bairagi
Partitioning of Code for a Massively Parallel Machine. IEEE PACT (2004)
Norman Ramsey, Cristina Cifuentes
A transformational approach to binary translation of delayed branches. ACM Trans. Program. Lang. Syst. 25 (2) (2003)
Jens Tröger, Cristina Cifuentes
Analysis of Virtual Method Invocation for Binary Translation. WCRE (2002)
Cristina Cifuentes
The Profession - Reverse Engineering and the Computing Profession. Computer 34 (12) (2001)
Cristina Cifuentes, Mike Van Emmerik
Recovery of jump table case statements from binary code. Sci. Comput. Program. 40 (2-3) (2001)
Cristina Cifuentes, Trent Waddington, Mike Van Emmerik
Computer Security Analysis through Decompilation and High-Level Debugging. WCRE (2001)
David Ung, Cristina Cifuentes
Optimising hot paths in a dynamic binary translator. SIGARCH Comput. Archit. News 29 (1) (2001)
David Ung, Cristina Cifuentes
Dynamic Re-engineering of Binary Code with Run-time Feedbacks. WCRE (2000)
Cristina Cifuentes, Mike Van Emmerik
UQBT: Adaptive Binary Translation at Low Cost. Computer 33 (3) (2000)
Cristina Cifuentes, Anne Fitzgerald
The legal status of reverse engineering of computer software. Ann. Softw. Eng. 9 (2000)
Cristina Cifuentes, Doug Simon
Procedure Abstraction Recovery from Binary Code. CSMR (2000)
David Ung, Cristina Cifuentes
Machine-adaptable dynamic binary translation. Dynamo (2000)
Cristina Cifuentes, Mike Van Emmerik, Norman Ramsey
The Design of a Resourceable and Retargetable Binary Translator. WCRE (1999)
Cristina Cifuentes
The Impact of Copyright on the Development of Cutting Edge Binary Reverse Engineering Technology. WCRE (1999)
Cristina Cifuentes, Mike Van Emmerik
Recovery of Jump Table Case Statements from Binary Code. IWPC (1999)
Cristina Cifuentes, Anne Fitzgerald
Introducing a legal strand in the computer science curriculum. ACSE (1998)
Cristina Cifuentes, Doug Simon, Antoine Fraboulet
Assembly to High-Level Language Translation. ICSM (1998)
Cristina Cifuentes, Shane Sendall
Specifying the Semantics of Machine Instructions. IWPC (1998)
David Ung, Cristina Cifuentes
SRL 3/4-A Simple Retargetable Loader. Australian Software Engineering Conference (1997)
Cristina Cifuentes, Antoine Fraboulet
Intraprocedural Static Slicing of Binary Executables. ICSM (1997)
Cristina Cifuentes, Anne Fitzgerald
Copyright in Shareware Programs Distributed on the Internet. Aust. Comput. J. 29 (1) (1997)
Cristina Cifuentes, Anne Fitzgerald
Copyright in Shareware Software Distributed on the Internet - The Trumpet Winsock Case. ICSE (1997)
Cristina Cifuentes
Software Patents. Australian Software Engineering Conference (1997)
Cristina Cifuentes, Anne Fitzgerald
Australian Recommendations on Computer Software Protection. Comput. J. 39 (7) (1996)
Cristina Cifuentes
Structuring Decompiled Graphs. CC (1996)
Cristina Cifuentes, Barry Brannan
Teaching C/C++ to computer science students with pascal programming experience. ACSE (1996)
Cristina Cifuentes
Interprocedural data flow decompilation. J. Program. Lang. 4 (2) (1996)
Cristina Cifuentes, Vishv M. Malhotra
Binary Translation: Static, Dynamic, Retargetable? ICSM (1996)
Cristina Cifuentes
Partial Automation of an Integrated Reverse Engineering Environment of Binary Code. WCRE (1996)
Cristina Cifuentes, Carmen Lockwood
Introduction of a CASE tool to teach structured analysis. Comput. Educ. 27 (3-4) (1996)
Cristina Cifuentes
An Environment for the Reverse Engineering of Executable Programs. APSEC (1995)
Cristina Cifuentes, K. John Gough
Decompilation of Binary Programs. Softw. Pract. Exp. 25 (7) (1995)