Instruct: Given the title of a scientific paper, retrieve paper titles that are cited by the given paper.
Query: Deobfuscation of Virtualization-Obfuscated Code Through Symbolic Execution and Compilation Optimization
VMAttack: Deobfuscating Virtualization-Based Packed Binaries
Obfuscation resilient binary code reuse through trace-oriented programming
Symbolic execution for software testing: three decades later
A survey of new trends in symbolic execution for software testing and analysis
MultiSE: multi-path symbolic execution using value summaries
Symbolic PathFinder: symbolic execution of Java bytecode
Symbolic execution for software testing in practice: preliminary assessment
Symbolic execution and program testing
Code obfuscation techniques for metamorphic viruses
Detection of injected, dynamically generated, and obfuscated malicious code
A Symbolic Execution Framework for JavaScript
Static disassembly of obfuscated binaries
SAFL: increasing and accelerating testing coverage with symbolic execution and guided fuzzing
Obfuscating C++ Programs via Control Flow Flattening
Experiences in Malware Binary Deobfuscation
Differential symbolic execution
Automated Security Analysis of Dynamic Web Applications through Symbolic Code Execution
Cryptographic Function Detection in Obfuscated Binaries via Bit-Precise Symbolic Loop Mapping
Neuro-Symbolic Execution: The Feasibility of an Inductive Approach to Symbolic Execution
Context-Sensitive Fencing: Securing Speculative Execution via Microcode Customization
ModelSeek: an effective 3D model retrieval system
CleanNet: Transfer Learning for Scalable Image Classifier Training with Label Noise
Theory and algorithm for generalized memory partitioning in high-level synthesis
Sketch2normal: deep networks for normal map generation
Tupni: automatic reverse engineering of input formats