On the public citation graph
Practical dynamic reconstruction of control flow graphs
0 signed · 56 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1002/spe.4380250706openalex-snapshot
Decompilation of binary programs
inferredcites →https://doi.org/10.1007/978-3-540-24723-4_2openalex-snapshot
Analyzing Memory Accesses in x86 Executables
inferredcites →https://doi.org/10.1007/978-3-540-70545-1_40openalex-snapshot
Jakstab: A Static Analysis Platform for Binaries
inferredcites →https://doi.org/10.1007/978-3-540-88625-9_16openalex-snapshot
BinHunt: Automatically Finding Semantic Differences in Binary Programs
inferredcites →https://doi.org/10.1007/978-3-540-89862-7_1openalex-snapshot
BitBlaze: A New Approach to Computer Security via Binary Analysis
inferredcites →https://doi.org/10.1007/978-3-642-22110-1_37openalex-snapshot
BAP: A Binary Analysis Platform
inferredcites →https://doi.org/10.1090/s0002-9947-1953-0053041-6openalex-snapshot
Classes of Recursively Enumerable Sets and Their Decision Problems
inferredcites →https://doi.org/10.1109/cgo.2019.8661196openalex-snapshot
Janus: Statically-Driven and Profile-Guided Automatic Dynamic Binary Parallelisation
inferredcites →https://doi.org/10.1109/cgo.2019.8661201openalex-snapshot
BOLT: A Practical Binary Optimizer for Data Centers and Beyond
inferredcites →https://doi.org/10.1109/icsme.2018.00019openalex-snapshot
BinMatch: A Semantics-Based Hybrid Approach on Binary Code Clone Analysis
inferredcites →https://doi.org/10.1109/ispass.2015.7095784openalex-snapshot
Graph-matching-based simulation-region selection for multiple binaries
inferredcites →https://doi.org/10.1109/sp.2007.17openalex-snapshot
Exploring Multiple Execution Paths for Malware Analysis
inferredcites →https://doi.org/10.1109/wcre.2002.1173063openalex-snapshot
Disassembly of executable code revisited
inferredcites →https://doi.org/10.1109/wcre.2012.11openalex-snapshot
Structured Binary Editing with a CFG Transformation Algebra
inferredcites →https://doi.org/10.1109/wcre.2013.6671280openalex-snapshot
Static binary rewriting without supplemental information: Overcoming the tradeoff between coverage and correctness
inferredcites →https://doi.org/10.1145/1146374.1146380openalex-snapshot
Testing aspect-oriented programming Pointcut Descriptors
inferredcites →https://doi.org/10.1145/1315245.1315313openalex-snapshot
The geometry of innocent flesh on the bone
inferredcites →https://doi.org/10.1145/170035.170072openalex-snapshot
Mining association rules between sets of items in large databases
inferredcites →https://doi.org/10.1145/170036.170072openalex-snapshot
Mining association rules between sets of items in large databases
inferredcites →https://doi.org/10.1145/1866307.1866370openalex-snapshot
Return-oriented programming without returns
inferredcites →https://doi.org/10.1145/2854065.2854082openalex-snapshot
Formal verification of control-flow graph flattening
inferredcites →https://doi.org/10.1145/3238147.3238163openalex-snapshot
Break the dead end of dynamic slicing: localizing data and control omission bug
inferredcites →https://doi.org/10.1145/3293883.3295737openalex-snapshot
Data-flow/dependence profiling for structured transformations
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/spe.3146openalex-snapshot
Automatic inspection of program state in an uncooperative environment
inferred← citeshttps://doi.org/10.1007/978-3-031-82949-9_37openalex-snapshot
Efficient Manipulation of Control Flow Models in Evolving Software
inferred← citeshttps://doi.org/10.1007/978-3-031-92474-3_4openalex-snapshot
A Comprehensive Review on Equivalent Mutant Detection Using Machine Learning
inferred← citeshttps://doi.org/10.1007/978-981-99-8761-0_16openalex-snapshot
A Survey of Control Flow Graph Recovery for Binary Code
inferred← citeshttps://doi.org/10.1007/s00607-023-01172-yopenalex-snapshot
Turna: a control flow graph reconstruction tool for RISC-V architecture
inferred← citeshttps://doi.org/10.1016/j.cola.2021.101062openalex-snapshot
Instruction visibility in SPEC CPU2017
inferred← citeshttps://doi.org/10.1016/j.cola.2025.101368openalex-snapshot
Jotai: A methodology for the generation of executable C benchmarks
inferred← citeshttps://doi.org/10.1016/j.comnet.2024.110238openalex-snapshot
DA-GNN: A smart contract vulnerability detection method based on Dual Attention Graph Neural Network
inferred← citeshttps://doi.org/10.1109/cgo68049.2026.11395222openalex-snapshot
On the Precision of Dynamic Program Fingerprints Based on Performance Counters
inferred← citeshttps://doi.org/10.1109/cgo68049.2026.11395233openalex-snapshot
Binary Diffing via Library Signatures
inferred← citeshttps://doi.org/10.1109/icccs65393.2025.11069874openalex-snapshot
Techniques for Refining Indirect Call Targets in Binaries
inferred← citeshttps://doi.org/10.1109/icstw60967.2024.00021openalex-snapshot
Annotating Control-Flow Graphs for Formalized Test Coverage Criteria
inferred← citeshttps://doi.org/10.1109/pact52795.2021.00012openalex-snapshot
Program Lifting using Gray-Box Behavior
inferred← citeshttps://doi.org/10.1109/sp54263.2024.00251openalex-snapshot
One for All and All for One: GNN-based Control-Flow Attestation for Embedded Devices
inferred← citeshttps://doi.org/10.1109/tifs.2024.3459616openalex-snapshot
The Last Mile of Attack Investigation: Audit Log Analysis Toward Software Vulnerability Location
inferred← citeshttps://doi.org/10.1145/3485521openalex-snapshot
VESPA: static profiling for binary optimization
inferred← citeshttps://doi.org/10.1145/3594736openalex-snapshot
Side-channel Elimination via Partial Control-flow Linearization
inferred← citeshttps://doi.org/10.1145/3640537.3641569openalex-snapshot
Reducing the Overhead of Exact Profiling by Reusing Affine Variables
inferred← citeshttps://doi.org/10.1145/3695053.3731059openalex-snapshot
Leveraging control-flow similarity to reduce branch predictor cold effects in microservices
inferred← citeshttps://doi.org/10.1145/3708493.3712680openalex-snapshot
A Comparative Study on the Accuracy and the Speed of Static and Dynamic Program Classifiers
inferred← citeshttps://doi.org/10.1145/3720524openalex-snapshot
Bridging the Gap between Real-World and Formal Binary Lifting through Filtered-Simulation
inferred← citeshttps://doi.org/10.1145/3779212.3790196openalex-snapshot
Optimizer-Friendly Instrumentation for Event Quantification with PRUE Algorithm
inferred← citeshttps://doi.org/10.1360/ssi-2024-0042openalex-snapshot
Log refusion: adversarial attacks against the integrity of application logs and defense methods
inferred← citeshttps://doi.org/10.3390/electronics14132739openalex-snapshot
Modeling Threat Evolution in Smart Grid Near-Field Networks
inferred← citeshttps://doi.org/10.5753/sbseg_estendido.2023.235074openalex-snapshot
Instrumentação de programas binários legados para compatibilização com Intel CET
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.