Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
78 | Alan Mycroft, Atsushi Ohori, Shin-ya Katsumata |
Comparing Type-Based and Proof-Directed Decompilation. |
WCRE |
2001 |
DBLP DOI BibTeX RDF |
|
65 | Tao Wei, Jian Mao, Wei Zou, Yu Chen |
A New Algorithm for Identifying Loops in Decompilation. |
SAS |
2007 |
DBLP DOI BibTeX RDF |
Loop identifying, Unstructuredness coefficient, Control flow analysis, Decompilation |
65 | Peter T. Breuer, Jonathan P. Bowen |
Decompilation: The Enumeration of Types and Grammars. |
ACM Trans. Program. Lang. Syst. |
1994 |
DBLP DOI BibTeX RDF |
list comprehension, reverse engineering, logic programming, functional programming, abstract interpretation, attribute grammar, decompilation |
60 | Katerina Troshina, Alexander Chernov, Alexander Fokin |
Profile-based type reconstruction for decompilation. |
ICPC |
2009 |
DBLP DOI BibTeX RDF |
|
59 | Greg Stitt, Zhi Guo, Walid A. Najjar, Frank Vahid |
Techniques for synthesizing binaries to an advanced register/memory structure. |
FPGA |
2005 |
DBLP DOI BibTeX RDF |
smart buffers, FPGA, embedded systems, synthesis, decompilation, binaries |
47 | Lori Vinciguerra, Linda M. Wills, Nidhi Kejriwal, Paul Martino, Ralph L. Vinciguerra |
An Experimentation Framework for Evaluating Disassembly and Decompilation Tools for C++ and Java. |
WCRE |
2003 |
DBLP DOI BibTeX RDF |
binary reverse engineering, obfuscation, binary translation, decompilation, disassembly |
47 | Cristina Cifuentes, Trent Waddington, Mike Van Emmerik |
Computer Security Analysis through Decompilation and High-Level Debugging. |
WCRE |
2001 |
DBLP DOI BibTeX RDF |
security, reverse engineering, debugging, Decompilation |
42 | Samir Ribic |
Concept and implementation of the programming language and translator, for embedded systems, based on machine code decompilation and equivalence between source and executable code. |
WCRE |
2006 |
DBLP DOI BibTeX RDF |
|
42 | Greg Stitt, Frank Vahid |
A Decompilation Approach to Partitioning Software for Microprocessor/FPGA Platforms. |
DATE |
2005 |
DBLP DOI BibTeX RDF |
|
42 | Ulrike Lichtblau |
Decompilation of Control Structures by Means of Graph Transformations. |
TAPSOFT, Vol.1 |
1985 |
DBLP DOI BibTeX RDF |
|
41 | Cristina Cifuentes |
The Impact of Copyright on the Development of Cutting Edge Binary Reverse Engineering Technology. |
WCRE |
1999 |
DBLP DOI BibTeX RDF |
emulation, intellectual property, binary translation, decompilation |
41 | Randy H. Katz, Eugene Wong 0001 |
Decompiling CODASYL DML into Relational Queries. |
ACM Trans. Database Syst. |
1982 |
DBLP DOI BibTeX RDF |
semantic data models, decompilation |
36 | Ben Bellamy, Pavel Avgustinov, Oege de Moor, Damien Sereni |
Efficient local type inference. |
OOPSLA |
2008 |
DBLP DOI BibTeX RDF |
program analysis, type inference |
36 | Michael Batchelder, Laurie J. Hendren |
Obfuscating Java: The Most Pain for the Least Gain. |
CC |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Roman L. Lysecky, Greg Stitt, Frank Vahid |
Warp Processors. |
ACM Trans. Design Autom. Electr. Syst. |
2006 |
DBLP DOI BibTeX RDF |
FPGA, dynamic optimization, hardware/software codesign, hardware/software partitioning, configurable logic, Warp processors, just-in-time (JIT) compilation |
36 | Bor-Yuh Evan Chang, Matthew Harren, George C. Necula |
Analysis of Low-Level Code Using Cooperating Decompilers. |
SAS |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Cullen Linn, Saumya K. Debray |
Obfuscation of executable code to improve resistance to static disassembly. |
CCS |
2003 |
DBLP DOI BibTeX RDF |
disassembly, code obfuscation |
36 | Cristina Cifuentes |
An Environment for the Reverse Engineering of Executable Programs. |
APSEC |
1995 |
DBLP DOI BibTeX RDF |
reverse compiler, i80286, reverse engineering, signatures, C language, disassembler, dos |
24 | Zachary D. Sisco, Jonathan Balkind, Timothy Sherwood, Ben Hardekopf |
Loop Rerolling for Hardware Decompilation. |
Proc. ACM Program. Lang. |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Jihee Park, Sungho Lee, Jaemin Hong, Sukyoung Ryu |
Static Analysis of JNI Programs via Binary Decompilation. |
IEEE Trans. Software Eng. |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Xiangzhe Xu, Zhuo Zhang 0002, Shiwei Feng 0002, Yapeng Ye, Zian Su, Nan Jiang 0012, Siyuan Cheng 0005, Lin Tan 0001, Xiangyu Zhang 0001 |
LmPa: Improving Decompilation by Synergy of Large Language Model and Program Analysis. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Xiaowei Wang, Zimu Yuan, Yang Xiao 0011, Liyan Wang, Yican Yao, Haiming Chen, Wei Huo |
Decompilation Based Deep Binary-Source Function Matching. |
SciSec |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Ioannis Papantonis, Vaishak Belle |
Transparency in Sum-Product Network Decompilation. |
ECAI |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Daniel Engel, Freek Verbeek, Binoy Ravindran |
BIRD: A Binary Intermediate Representation for Formally Verified Decompilation of X86-64 Binaries. |
TAP |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Ryunosuke Kaichi, Shinsuke Matsumoto, Shinji Kusumoto |
Automatic Fixation of Decompilation Quirks Using Pre-trained Language Model. |
PROFES (1) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Ali Ahad, Chijung Jung, Ammar Askar, Doowon Kim, Taesoo Kim, Yonghwi Kwon 0001 |
Pyfet: Forensically Equivalent Transformation for Python Binary Decompilation. |
SP |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Zujun Tan, Yebin Chon, Michael Kruse, Johannes Doerfert, Ziyang Xu, Brian Homerding, Simone Campanoni, David I. August |
SPLENDID: Supporting Parallel LLVM-IR Enhanced Natural Decompilation for Interactive Development. |
ASPLOS (3) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Andrea Gussoni |
Control-flow analysis and manipulation techniques for effective binary translation and decompilation |
|
2023 |
RDF |
|
24 | Neville Grech, Sifis Lagouvardos, Ilias Tsatiris, Yannis Smaragdakis |
Elipmoc: advanced decompilation of Ethereum smart contracts. |
Proc. ACM Program. Lang. |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Iman Hosseini, Brendan Dolan-Gavitt |
Beyond the C: Retargetable Decompilation using Neural Machine Translation. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Steffen Enders, Eva-Maria C. Behner, Niklas Bergmann, Mariia Rybalka, Elmar Padilla, Er Xue Hui, Henry Low, Nicholas Sim |
dewolf: Improving Decompilation by leveraging User Surveys. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Pemma Reiter, Hui Jun Tay, Westley Weimer, Adam Doupé, Ruoyu Wang 0001, Stephanie Forrest |
Automatically Mitigating Vulnerabilities in x86 Binary Programs via Partially Recompilable Decompilation. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
24 | Siwadol Sateanpattanakul, Duangpen Jetpipattanapong, Seksan Mathulaprangsan |
Java Bytecode Control Flow Classification: Framework for Guiding Java Decompilation. |
J. Mobile Multimedia |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Ruigang Liang, Ying Cao, Peiwei Hu, Jinwen He, Kai Chen 0012 |
Semantics-Recovering Decompilation through Neural Machine Translation. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
24 | K. I. Mihajlenko, M. A. Lukin, A. S. Stankevich |
A method for decompilation of AMD GCN kernels to OpenCL. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
24 | Katie Liszewski, Tim McDonley, Josh Delozier, Andrew Elliott, Dylan Jones, Matthew Sutter, Adam G. Kimura |
Netlist Decompilation Workflow for Recovered Design Verification, Validation, and Assurance. |
IACR Cryptol. ePrint Arch. |
2021 |
DBLP BibTeX RDF |
|
24 | Pavel I. Sharikov, Audrey Krasov, Artem Gelf, Ernest Birikh |
A Technique for Detecting the Substitution of a Java-Module of an Information System Prone to Pharming with Using a Hidden Embedding of a Digital Watermark Resistant to Decompilation. |
ICUMT |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Noah Mauthe, Ulf Kargén, Nahid Shahmehri |
A Large-Scale Empirical Study of Android App Decompilation. |
SANER |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Omid Mirzaei, Roman Vasilenko, Engin Kirda, Long Lu, Amin Kharraz |
SCRUTINIZER: Detecting Code Reuse in Malware via Decompilation and Machine Learning. |
DIMVA |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Nicolas Harrand, César Soto-Valero, Martin Monperrus, Benoit Baudry |
Java Decompiler Diversity and its Application to Meta-decompilation. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
24 | Nicolas Harrand, César Soto-Valero, Martin Monperrus, Benoit Baudry |
Java decompiler diversity and its application to meta-decompilation. |
J. Syst. Softw. |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Cory J. Butz, Jhonatan de S. Oliveira, Robert Peharz |
Sum-Product Network Decompilation. |
PGM |
2020 |
DBLP BibTeX RDF |
|
24 | Zhibo Liu, Shuai Wang 0011 |
How far we have come: testing decompilation correctness of C decompilers. |
ISSTA |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Freek Verbeek, Pierre Olivier, Binoy Ravindran |
Sound C Code Decompilation for a Subset of x86-64 Binaries. |
SEFM |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Cory J. Butz, Jhonatan de S. Oliveira, Robert Peharz |
Sum-Product Network Decompilation. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
24 | Omer Katz, Yuval Olshaker, Yoav Goldberg, Eran Yahav |
Towards Neural Decompilation. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
24 | Heejun Jang, Beomjin Jin, Sangwon Hyun, Hyoungshick Kim |
Kerberoid: A Practical Android App Decompilation System with Multiple Decompilers. |
CCS |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Neville Grech, Lexi Brent, Bernhard Scholz, Yannis Smaragdakis |
Gigahorse: thorough, declarative decompilation of smart contracts. |
ICSE |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Deborah S. Katz, Jason Ruchti, Eric M. Schulte |
Using recurrent neural networks for decompilation. |
SANER |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Khaled Yakdan |
A Human-Centric Approach For Binary Code Decompilation. |
|
2018 |
RDF |
|
24 | Chaiyong Ragkhitwetsagul, Jens Krinke |
Using compilation/decompilation to enhance clone detection. |
IWSC |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Ed Robbins 0001 |
Solvers for type recovery and decompilation of binaries. |
|
2017 |
RDF |
|
24 | Edward Robbins 0001, Andy King, Tom Schrijvers |
From MinX to MinC: semantics-driven decompilation of recursive datatypes. |
POPL |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Khaled Yakdan, Sebastian Eschweiler, Elmar Gerhards-Padilla, Matthew Smith 0001 |
No More Gotos: Decompilation Using Pattern-Independent Control-Flow Structuring and Semantic-Preserving Transformations. |
NDSS |
2015 |
DBLP BibTeX RDF |
|
24 | Junfeng Xu, Li Zhang, Dong Lin, Ye Mao |
Recommendable Schemes of Anti-decompilation for Android Applications. |
FCST |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Anthony C. J. Fox |
Improved Tool Support for Machine-Code Decompilation in HOL4. |
ITP |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Javier Escalada, Francisco Ortin |
An Adaptable Infrastructure to Generate Training Datasets for Decompilation Issues. |
WorldCIST (2) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Lukás Durfina, Jakub Kroustek, Petr Zemek |
PsybOt malware: A step-by-step decompilation case study. |
WCRE |
2013 |
DBLP DOI BibTeX RDF |
|
24 | David Brumley, JongHyup Lee, Edward J. Schwartz, Maverick Woo |
Native x86 Decompilation Using Semantics-Preserving Structural Analysis and Iterative Control-Flow Structuring. |
USENIX Security Symposium |
2013 |
DBLP BibTeX RDF |
|
24 | Khaled Yakdan, Sebastian Eschweiler, Elmar Gerhards-Padilla |
REcompile: A decompilation framework for static analysis of binaries. |
MALWARE |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Wei Ming Khoo |
Decompilation as search. |
|
2013 |
RDF |
|
24 | Stefano Berardi, Makoto Tatsuta |
Internal models of system F for decompilation. |
Theor. Comput. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Maxim Shudrak, Vyacheslav Zolotarev |
The New Technique of Decompilation and Its Application in Information Security. |
EMS |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Magnus O. Myreen, Michael J. C. Gordon, Konrad Slind |
Decompilation into logic - Improved. |
FMCAD |
2012 |
DBLP BibTeX RDF |
|
24 | Roberto M. Amadio |
A decompilation of the pi-calculus and its application to termination |
CoRR |
2011 |
DBLP BibTeX RDF |
|
24 | Alexander Fokin, Egor Derevenetc, Alexander Chernov, Katerina Troshina |
SmartDec: Approaching C++ Decompilation. |
WCRE |
2011 |
DBLP DOI BibTeX RDF |
|
24 | E. N. Troshina, A. V. Chernov |
Using information obtained in the course of program execution for improving the quality of data type reconstruction in decompilation. |
Program. Comput. Softw. |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Jan-Arne Sobania |
Reuse of Legacy Software Components via Decompilation. |
AlgoSyn |
2010 |
DBLP BibTeX RDF |
|
24 | Alexander Fokin, Katerina Troshina, Alexander Chernov |
Reconstruction of Class Hierarchies for Decompilation of C++ Programs. |
CSMR |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Stefano Berardi, Makoto Tatsuta |
Internal Normalization, Compilation and Decompilation for System Fbh. |
FLOPS |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Katerina Troshina, Yegor Derevenets, Alexander Chernov |
Reconstruction of Composite Types for Decompilation. |
SCAM |
2010 |
DBLP DOI BibTeX RDF |
|
24 | E. N. Dolgova, A. V. Chernov |
Automatic reconstruction of data types in the decompilation problem. |
Program. Comput. Softw. |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla |
Decompilation of Java bytecode to Prolog by partial evaluation. |
Inf. Softw. Technol. |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Magnus O. Myreen, Michael J. C. Gordon, Konrad Slind |
Machine-Code Verification for Multiple Architectures - An Application of Decompilation into Logic. |
FMCAD |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Longjie Zhang, Xiaofang Xie, Shengzhi Yuan, Jiang Tang |
Research on the Composite Arithmetic of Logic Compound Sentences in Decompilation. |
ISCSCT (1) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla |
Modular Decompilation of Low-Level Code by Partial Evaluation. |
SCAM |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla |
Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation. |
Bytecode@ETAPS |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Greg Stitt, Frank Vahid |
A Decompilation Approach to Partitioning Software for Microprocessor/FPGA Platforms |
CoRR |
2007 |
DBLP BibTeX RDF |
|
24 | Mike Van Emmerik |
Static single assignment for decompilation |
|
2007 |
RDF |
|
24 | Greg Stiff, Frank Vahid |
New decompilation techniques for binary-level co-processor generation. |
ICCAD |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Mads Sig Ager, Olivier Danvy, Mayer Goldberg |
A Symmetric Approach to Compilation and Decompilation. |
The Essence of Computation |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Clive Freedman |
The protection of computer software in copyright and the law of confidence: improper decompilation and employee-poaching. |
Int. J. Law Inf. Technol. |
2000 |
DBLP DOI BibTeX RDF |
|
24 | Alan Mycroft |
Type-Based Decompilation (or Program Reconstruction via Type Reconstruction). |
ESOP |
1999 |
DBLP DOI BibTeX RDF |
|
24 | Todd A. Proebsting, Scott A. Watterson |
Krakatoa: Decompilation in Java (Does Bytecode Reveal Source?). |
COOTS |
1997 |
DBLP BibTeX RDF |
|
24 | Cristina Cifuentes |
Interprocedural data flow decompilation. |
J. Program. Lang. |
1996 |
DBLP BibTeX RDF |
|
24 | Cristina Cifuentes, K. John Gough |
Decompilation of Binary Programs. |
Softw. Pract. Exp. |
1995 |
DBLP DOI BibTeX RDF |
|
24 | Jonathan P. Bowen |
From programs to object code and back again using logic programming: Compilation and decompilation. |
J. Softw. Maintenance Res. Pract. |
1993 |
DBLP DOI BibTeX RDF |
|
24 | Peter T. Breuer, Jonathan P. Bowen |
Decompilation is the Efficient Enumeration of Types. |
WSA |
1992 |
DBLP BibTeX RDF |
|
24 | Jean François Pique |
Décompilation conservant le déterminisme. |
SPLT |
1990 |
DBLP BibTeX RDF |
|
24 | J. F. Dazy, J. M. Pozas |
Décompilation de clauses, Traitement des predicats assert/1, retract/1, clause/2, ...: Pour une implantation compilée de "tout" Prolog. |
SPLT |
1989 |
DBLP BibTeX RDF |
|
24 | Kevin A. Buettner |
Fast Decompilation of Compiled Prolog Clauses. |
ICLP |
1986 |
DBLP DOI BibTeX RDF |
|
24 | Barron C. Housel, Maurice H. Halstead |
A methodology for machine language decompilation. |
ACM Annual Conference (1) |
1974 |
DBLP DOI BibTeX RDF |
|
23 | Nikhil Kumar, Dinakar Sosale, Sadhana Nivedita Konuganti, Ajay Rathi |
Enabling the adoption of aspects - testing aspects: a risk model, fault model and patterns. |
AOSD |
2009 |
DBLP DOI BibTeX RDF |
weaver, woven code, testing, aspect-oriented programming, eclipse, aspectj, bytecode, decompilation |
23 | James Alexander George Hamilton, Sebastian Danicic |
An Evaluation of Current Java Bytecode Decompilers. |
SCAM |
2009 |
DBLP DOI BibTeX RDF |
java, bytecode, decompilation |
23 | Miao Wang, Rongcai Zhao, Jianmin Pang, Guoming Cai |
Reconstructing Control Flow in Modulo Scheduled Loops. |
ACIS-ICIS |
2008 |
DBLP DOI BibTeX RDF |
register rotation, modulo scheduling, decompilation, predication execution, conditional branches |
23 | Hannu Mäyrä, Mauno Rönkkö |
Reverse Engineering Functional Classes: A Middleware Case Study. |
ITNG |
2008 |
DBLP DOI BibTeX RDF |
Functional Classes, Middleware, Reverse Engineering, Decompilation, Java Bytecode |
23 | Gaurav Mittal, David Zaretsky, Xiaoyong Tang, Prithviraj Banerjee |
Automatic translation of software binaries onto FPGAs. |
DAC |
2004 |
DBLP DOI BibTeX RDF |
compiler, reconfigurable computing, binary translation, hardware-software co-design, decompilation |
23 | Greg Stitt, Frank Vahid |
Hardware/software partitioning of software binaries. |
ICCAD |
2002 |
DBLP DOI BibTeX RDF |
FPGA, low power, C++, C, synthesis, codesign, hardware/software partitioning, binary translation, decompilation, assembly language |
23 | I. Guilfanov |
A Simple Type System for Program Reengineering. |
WCRE |
2001 |
DBLP DOI BibTeX RDF |
type system, decompilation, disassembly |
23 | Cristina Cifuentes, Mike Van Emmerik |
Recovery of Jump Table Case Statements from Binary Code. |
IWPC |
1999 |
DBLP DOI BibTeX RDF |
Reverse engineering, binary translation, decompilation |