2009 |
37 | EE | Cristina Cifuentes,
Nathan Keynes,
Lian Li,
Bernhard Scholz:
Program analysis for bug detection using parfait: invited talk.
PEPM 2009: 7-8 |
2008 |
36 | EE | Bernhard Scholz,
Chenyi Zhang,
Cristina Cifuentes:
User-Input Dependence Analysis via Graph Reachability.
SCAM 2008: 25-34 |
35 | EE | Cristina Cifuentes:
Parfait - A Scalable Bug Checker for C Code.
SCAM 2008: 263-264 |
2006 |
34 | EE | Doug Simon,
Cristina Cifuentes,
Dave Cleal,
John Daniels,
Derek White:
JavaTM on the bare metal of wireless sensor devices: the squawk Java virtual machine.
VEE 2006: 78-88 |
33 | EE | David Ung,
Cristina Cifuentes:
Dynamic binary translation using run-time feedbacks.
Sci. Comput. Program. 60(2): 189-204 (2006) |
2005 |
32 | EE | Doug Simon,
Cristina Cifuentes:
The squawk virtual machine: Java on the bare metal.
OOPSLA Companion 2005: 150-151 |
2004 |
31 | EE | Michael Ball,
Cristina Cifuentes,
Deepankar Bairagi:
Partitioning of Code for a Massively Parallel Machine.
IEEE PACT 2004: 225-236 |
2003 |
30 | EE | Norman Ramsey,
Cristina Cifuentes:
A transformational approach to binary translation of delayed branches.
ACM Trans. Program. Lang. Syst. 25(2): 210-224 (2003) |
2002 |
29 | EE | Jens Tröger,
Cristina Cifuentes:
Analysis of Virtual Method Invocation for Binary Translation.
WCRE 2002: 65- |
2001 |
28 | EE | Cristina Cifuentes,
Trent Waddington,
Mike Van Emmerik:
Computer Security Analysis through Decompilation and High-Level Debugging.
WCRE 2001: 375-380 |
27 | EE | Cristina Cifuentes:
The Profession - Reverse Engineering and the Computing Profession.
IEEE Computer 34(12): 166-168 (2001) |
26 | EE | David Ung,
Cristina Cifuentes:
Optimising hot paths in a dynamic binary translator.
SIGARCH Computer Architecture News 29(1): 55-65 (2001) |
25 | | Cristina Cifuentes,
Mike Van Emmerik:
Recovery of jump table case statements from binary code.
Sci. Comput. Program. 40(2-3): 171-188 (2001) |
2000 |
24 | EE | Cristina Cifuentes,
Doug Simon:
Procedure Abstraction Recovery from Binary Code.
CSMR 2000: 55-64 |
23 | EE | David Ung,
Cristina Cifuentes:
Machine-adaptable dynamic binary translation.
Dynamo 2000: 41-51 |
22 | EE | David Ung,
Cristina Cifuentes:
Dynamic Re-engineering of Binary Code with Run-time Feedbacks.
WCRE 2000: 2-10 |
21 | | Cristina Cifuentes,
Anne Fitzgerald:
The legal status of reverse engineering of computer software.
Ann. Software Eng. 9: 337-351 (2000) |
20 | | Cristina Cifuentes,
Mike Van Emmerik:
UQBT: Adaptive Binary Translation at Low Cost.
IEEE Computer 33(3): 60-66 (2000) |
1999 |
19 | EE | Cristina Cifuentes,
Mike Van Emmerik:
Recovery of Jump Table Case Statements from Binary Code.
IWPC 1999: 192-199 |
18 | EE | Cristina Cifuentes,
Mike Van Emmerik,
Norman Ramsey:
The Design of a Resourceable and Retargetable Binary Translator.
WCRE 1999: 280-291 |
17 | EE | Cristina Cifuentes:
The Impact of Copyright on the Development of Cutting Edge Binary Reverse Engineering Technology.
WCRE 1999: 66-76 |
1998 |
16 | EE | Cristina Cifuentes,
Anne Fitzgerald:
Introducing a legal strand in the computer science curriculum.
ACSE 1998: 19-26 |
15 | EE | Cristina Cifuentes,
Doug Simon,
Antoine Fraboulet:
Assembly to High-Level Language Translation.
ICSM 1998: 228-237 |
14 | EE | Cristina Cifuentes,
Shane Sendall:
Specifying the Semantics of Machine Instructions.
IWPC 1998: 126- |
1997 |
13 | EE | Cristina Cifuentes:
Software Patents.
Australian Software Engineering Conference 1997: 111-115 |
12 | EE | David Ung,
Cristina Cifuentes:
SRL 3/4-A Simple Retargetable Loader.
Australian Software Engineering Conference 1997: 60-69 |
11 | EE | Cristina Cifuentes,
Anne Fitzgerald:
Copyright in Shareware Software Distributed on the Internet - The Trumpet Winsock Case.
ICSE 1997: 456-464 |
10 | EE | Cristina Cifuentes,
Antoine Fraboulet:
Intraprocedural Static Slicing of Binary Executables.
ICSM 1997: 188- |
9 | | Cristina Cifuentes,
Anne Fitzgerald:
Copyright in Shareware Programs Distributed on the Internet.
Australian Computer Journal 29(1): 24-30 (1997) |
1996 |
8 | EE | Cristina Cifuentes,
Barry Brannan:
Teaching C/C++ to computer science students with pascal programming experience.
ACSE 1996: 189-196 |
7 | | Cristina Cifuentes:
Structuring Decompiled Graphs.
CC 1996: 91-105 |
6 | EE | Cristina Cifuentes,
Vishv M. Malhotra:
Binary Translation: Static, Dynamic, Retargetable?
ICSM 1996: 340-349 |
5 | EE | Cristina Cifuentes:
Partial Automation of an Integrated Reverse Engineering Environment of Binary Code.
WCRE 1996: 50-56 |
4 | | Cristina Cifuentes,
Anne Fitzgerald:
Australian Recommendations on Computer Software Protection.
Comput. J. 39(7): 566-576 (1996) |
3 | EE | Cristina Cifuentes:
Interprocedural data flow decompilation.
J. Prog. Lang. 4(2): 77-99 (1996) |
1995 |
2 | EE | Cristina Cifuentes:
An Environment for the Reverse Engineering of Executable Programs.
APSEC 1995: 410-419 |
1 | | Cristina Cifuentes,
K. John Gough:
Decompilation of Binary Programs.
Softw., Pract. Exper. 25(7): 811-829 (1995) |