Search results for "decompilation"

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