On the public citation graph

Extracting safe and precise control flow from binaries

https://doi.org/10.1109/rtcsa.2000.896367

0 signed · 115 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.

Claim with ORCID

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.

See reference health

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/3-540-45245-1_5openalex-snapshot

PROPAN: A Retargetable System for Postpass Optimisations and Analyses

inferredcites →https://doi.org/10.1007/3-540-58950-3_371openalex-snapshot

Graph layout through the VCG tool

inferredcites →https://doi.org/10.1007/978-3-662-01069-3_60openalex-snapshot

Run-Time Guarantees for Real-Time Systems—The USES Approach

inferredcites →https://doi.org/10.1016/s0167-6423(99)00010-6openalex-snapshot

Cache behavior prediction by abstract interpretation

inferredcites →https://doi.org/10.1109/real.1996.563722openalex-snapshot

Cache modeling for real-time software: beyond direct mapped instruction caches

inferredcites →https://doi.org/10.1109/real.1998.739739openalex-snapshot

Combining abstract interpretation and ILP for microarchitecture modelling and program path analysis

inferredcites →https://doi.org/10.1109/rttas.1996.509540openalex-snapshot

Efficient worst case timing analysis of data caching

inferredcites →https://doi.org/10.1145/143095.143108openalex-snapshot

A new approach to debugging optimized code

inferredcites →https://doi.org/10.1145/143103.143108openalex-snapshot

A new approach to debugging optimized code

inferredcites →https://doi.org/10.1145/207110.207163openalex-snapshot

EEL

inferredcites →https://doi.org/10.1145/231379.231388openalex-snapshot

Source-level debugging of scalar optimized code

inferredcites →https://doi.org/10.1145/236114.236115openalex-snapshot

Identifying loops using DJ graphs

inferredcites →https://doi.org/10.1145/277631.277636openalex-snapshot

OPTVIEW

inferredcites →https://doi.org/10.1145/314403.314432openalex-snapshot

Pipeline behavior prediction for superscalar processors by abstract interpretation

inferredcites →https://doi.org/10.1145/349299.349330openalex-snapshot

On loops, dominators, and dominance frontier

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/9781119004707.ch8openalex-snapshot

Applying Abstract Interpretation to Demonstrate Functional Safety

inferred← citeshttps://doi.org/10.1002/sec.1179openalex-snapshot

PaddyFrog: systematically detecting confused deputy vulnerability in Android applications

inferred← citeshttps://doi.org/10.1007/11560548_26openalex-snapshot

Verifying Timing Behavior by Abstract Interpretation of Executable Code

inferred← citeshttps://doi.org/10.1007/11823063_1openalex-snapshot

Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code

inferred← citeshttps://doi.org/10.1007/3-540-45449-7_32openalex-snapshot

Reliable and Precise WCET Determination for a Real-Life Processor

inferred← citeshttps://doi.org/10.1007/3-540-45789-5_22openalex-snapshot

Pipeline Modeling for Timing Analysis

inferred← citeshttps://doi.org/10.1007/3-540-45828-x_26openalex-snapshot

ILP-Based Interprocedural Path Analysis

inferred← citeshttps://doi.org/10.1007/978-1-4020-8157-6_29openalex-snapshot

aiT: Worst-Case Execution Time Prediction by Static Program Analysis

inferred← citeshttps://doi.org/10.1007/978-1-4471-2909-7openalex-snapshot

Software Similarity and Classification

inferred← citeshttps://doi.org/10.1007/978-1-4471-2909-7_5openalex-snapshot

Static Analysis of Binaries

inferred← citeshttps://doi.org/10.1007/978-3-032-40374-2_20openalex-snapshot

NEAT: A Benchmark for Indirect Control Flow Recovery

inferred← citeshttps://doi.org/10.1007/978-3-319-04897-0_1openalex-snapshot

Detecting Code Reuse Attacks with a Model of Conformant Program Execution

inferred← citeshttps://doi.org/10.1007/978-3-319-10506-2_14openalex-snapshot

Proving the Absence of Stack Overflows

inferred← citeshttps://doi.org/10.1007/978-3-319-27998-5_2openalex-snapshot

Diversification of System Calls in Linux Binaries

inferred← citeshttps://doi.org/10.1007/978-3-540-30476-0_20openalex-snapshot

Component-Wise Instruction-Cache Behavior Prediction

inferred← citeshttps://doi.org/10.1007/978-3-540-39920-9_7openalex-snapshot

Reconstructing Control Flow from Predicated Assembly Code

inferred← citeshttps://doi.org/10.1007/978-3-540-70930-5_10openalex-snapshot

Towards Model-Driven Development of Hard Real-Time Systems

inferred← citeshttps://doi.org/10.1007/978-3-540-71322-7_2openalex-snapshot

New Developments in WCET Analysis

inferred← citeshttps://doi.org/10.1007/978-3-540-88479-8_8openalex-snapshot

Timing Validation of Automotive Software

inferred← citeshttps://doi.org/10.1007/978-3-540-93900-9_19openalex-snapshot

An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries

inferred← citeshttps://doi.org/10.1007/978-3-642-17164-2_14openalex-snapshot

Interprocedural Control Flow Reconstruction

inferred← citeshttps://doi.org/10.1007/978-3-642-22655-7_28openalex-snapshot

Detecting and Escaping Infinite Loops with Jolt

inferred← citeshttps://doi.org/10.1007/978-3-642-33338-5_27openalex-snapshot

Accurate Recovery of Functions in a Retargetable Decompiler(Poster Abstract)

inferred← citeshttps://doi.org/10.1007/978-3-642-36949-0_46openalex-snapshot

Compiler Help for Binary Manipulation Tools

inferred← citeshttps://doi.org/10.1007/978-90-481-9929-7_3openalex-snapshot

WCC—WCET-Aware C Compiler

inferred← citeshttps://doi.org/10.1007/978-981-19-1018-0_28openalex-snapshot

Classifying Malware Represented as Assembly and Control Flow Graphs Using Ensemble Learning

inferred← citeshttps://doi.org/10.1007/s10009-012-0248-8openalex-snapshot

Architecture exploration and timing estimation during early design phases

inferred← citeshttps://doi.org/10.1007/s10586-016-0606-5openalex-snapshot

Nonlinear approach for estimating WCET during programming phase

inferred← citeshttps://doi.org/10.1109/access.2019.2917668openalex-snapshot

Machine Learning-Based Analysis of Program Binaries: A Comprehensive Study

inferred← citeshttps://doi.org/10.1109/asap.2017.7995260openalex-snapshot

Hardware support for embedded operating system security

inferred← citeshttps://doi.org/10.1109/cgo.2015.7054189openalex-snapshot

Getting in control of your control flow with control-data isolation

inferred← citeshttps://doi.org/10.1109/cicn.2012.216openalex-snapshot

Towards Extracting Control Flow Abstraction with Static Disassembly for Binary Code

inferred← citeshttps://doi.org/10.1109/ctems.2018.8769230openalex-snapshot

A Study on Binary File Conversion using python-based GUI Application

inferred← citeshttps://doi.org/10.1109/desec.2018.8625104openalex-snapshot

Mitigating Over-Permissible Transfer for Control Flow Integrity

inferred← citeshttps://doi.org/10.1109/dsn.2003.1209972openalex-snapshot

An abstract interpretation-based timing validation of hard real-time avionics software

inferred← citeshttps://doi.org/10.1109/eurosp68448.2026.00080openalex-snapshot

Match & Mend: Minimally Invasive Local Reassembly for Patching N-day Vulnerabilities in ARM Binaries

inferred← citeshttps://doi.org/10.1109/icsme.2017.59openalex-snapshot

Semantics-Aware Machine Learning for Function Recognition in Binary Code

inferred← citeshttps://doi.org/10.1109/ifcsta.2009.176openalex-snapshot

A Control Flow Graph Reconstruction Method from Binaries Based on XML

inferred← citeshttps://doi.org/10.1109/iolts.2012.6313864openalex-snapshot

Stream cipher hash based execution monitoring (SCHEM) framework for intrusion detection on embedded processors

inferred← citeshttps://doi.org/10.1109/iolts.2018.8474130openalex-snapshot

Effective Control Flow Integrity Checks for Intrusion Detection

inferred← citeshttps://doi.org/10.1109/isola.2006.31openalex-snapshot

Towards an Integration of Low-Level Timing Analysis and Model-Based Code Generation

inferred← citeshttps://doi.org/10.1109/isorc.2006.72openalex-snapshot

Towards a Real-Time Implementation of the ECMA Common Language Infrastructure

inferred← citeshttps://doi.org/10.1109/ispras64596.2024.10899119openalex-snapshot

Revisiting Control Flow Recovery from Binaries: An Abstract Interpretation-based Approach

inferred← citeshttps://doi.org/10.1109/isvlsi.2006.75openalex-snapshot

Profile Directed Instruction Cache Tuning for Embedded Systems

inferred← citeshttps://doi.org/10.1109/jproc.2003.814618openalex-snapshot

The influence of processor architecture on the design and the results of WCET tools

inferred← citeshttps://doi.org/10.1109/rtas52030.2021.00039openalex-snapshot

ARA: Static Initialization of Dynamically-Created System Objects

inferred← citeshttps://doi.org/10.1109/rtcsa.2008.7openalex-snapshot

Parametric Timing Analysis for Complex Architectures

inferred← citeshttps://doi.org/10.1109/sies.2009.5196212openalex-snapshot

Refining assembly code static analysis for the Intel MCS-51 microcontroller

inferred← citeshttps://doi.org/10.1109/sp.2019.00069openalex-snapshot

Full-Speed Fuzzing: Reducing Fuzzing Overhead through Coverage-Guided Tracing

inferred← citeshttps://doi.org/10.1109/sp40001.2021.00051openalex-snapshot

OSPREY: Recovery of Variable and Data Structure via Probabilistic Analysis for Stripped Binary

inferred← citeshttps://doi.org/10.1109/tcc.2023.3327290openalex-snapshot

Hardware-Assisted Static and Runtime Attestation for Cloud Deployments

inferred← citeshttps://doi.org/10.1109/vts.2013.6548908openalex-snapshot

A framework for low overhead hardware based runtime control flow error detection and recovery

inferred← citeshttps://doi.org/10.1109/wcre.2002.1173063openalex-snapshot

Disassembly of executable code revisited

inferred← citeshttps://doi.org/10.1109/wcre.2012.15openalex-snapshot

Detection and Recovery of Functions and their Arguments in a Retargetable Decompiler

inferred← citeshttps://doi.org/10.1145/1806672.1806678openalex-snapshot

Extracting compiler provenance from program binaries

inferred← citeshttps://doi.org/10.1145/1831708.1831741openalex-snapshot

N-version disassembly

inferred← citeshttps://doi.org/10.1145/2001420.2001433openalex-snapshot

Recovering the toolchain provenance of binary code

inferred← citeshttps://doi.org/10.1145/2024569.2024571openalex-snapshot

Labeling library functions in stripped binaries

inferred← citeshttps://doi.org/10.1145/2038642.2038662openalex-snapshot

Precise control flow reconstruction using boolean logic

inferred← citeshttps://doi.org/10.1145/2500886openalex-snapshot

Computation takes time, but how much?

inferred← citeshttps://doi.org/10.1145/2522968.2522972openalex-snapshot

Binary-code obfuscations in prevalent packer tools

inferred← citeshttps://doi.org/10.1145/2854038.2854049openalex-snapshot

Inference of peak density of indirect branches to detect ROP attacks

inferred← citeshttps://doi.org/10.1145/2931037.2931047openalex-snapshot

Binary code is not easy

inferred← citeshttps://doi.org/10.1145/2968455.2968505openalex-snapshot

Speculative disassembly of binary code

inferred← citeshttps://doi.org/10.1145/3141235.3141236openalex-snapshot

An Initial Investigation of Protocol Customization

inferred← citeshttps://doi.org/10.1145/3264820.3264826openalex-snapshot

Context-Sensitive Flow Graph and Projective Single Assignment Form for Resolving Context-Dependency of Binary Code

inferred← citeshttps://doi.org/10.1145/3355378.3355383openalex-snapshot

Efficient and Precise Dynamic Construction of Control Flow Graphs

inferred← citeshttps://doi.org/10.1145/3360563openalex-snapshot

BDA: practical dependence analysis for binary executables by unbiased whole-program path sampling and per-path abstract interpretation

inferred← citeshttps://doi.org/10.1145/3371307.3371314openalex-snapshot

A case against indirect jumps for secure programs

inferred← citeshttps://doi.org/10.1145/3437801.3441604openalex-snapshot

Parallel binary code analysis

inferred← citeshttps://doi.org/10.1145/3689711openalex-snapshot

VarLifter: Recovering Variables and Types from Bytecode of Solidity Smart Contracts

inferred← citeshttps://doi.org/10.1145/384196.384213openalex-snapshot

Generating Decision Trees for Decoding Binaries

inferred← citeshttps://doi.org/10.1145/513829.513839openalex-snapshot

Generic control flow reconstruction from assembly code

inferred← citeshttps://doi.org/10.1145/948109.948149openalex-snapshot

Obfuscation of executable code to improve resistance to static disassembly

inferred← citeshttps://doi.org/10.1155/2013/432021openalex-snapshot

Decision Graphs and Their Application to Software Testing

inferred← citeshttps://doi.org/10.1201/9781420038163.ch14openalex-snapshot

Determining Bounds on Execution Times

inferred← citeshttps://doi.org/10.15368/theses.2019.139openalex-snapshot

Predictors of Ransomware from Binary Analysis

inferred← citeshttps://doi.org/10.17877/de290r-7209openalex-snapshot

WCET analysis and optimization for multi-core real-time systems

inferred← citeshttps://doi.org/10.22028/d291-25778openalex-snapshot

Control flow graphs for real-time systems analysis: reconstruction from binary executables and usage in ILP-based path analysis

inferred← citeshttps://doi.org/10.22028/d291-26418openalex-snapshot

Cache persistence analysis for embedded real-time systems

inferred← citeshttps://doi.org/10.25946/13459517openalex-snapshot

Fast automated unpacking and classification of malware

inferred← citeshttps://doi.org/10.26083/tuprints-00002338openalex-snapshot

Static Analysis of x86 Executables

inferred← citeshttps://doi.org/10.2991/iccasm.2012.52openalex-snapshot

Analysis of Program Based on Function Block

inferred← citeshttps://doi.org/10.31274/etd-20210609-59openalex-snapshot

Trust, transforms, and control flow: A graph-theoretic method to verifying source and binary control flow equivalence

inferred← citeshttps://doi.org/10.3390/en10122113openalex-snapshot

Reducing WCET Overestimations by Correcting Errors in Loop Bound Constraints

inferred← citeshttps://doi.org/10.4230/dagsemproc.03471.4openalex-snapshot

Requirements for and Design of a Processor with Predictable Timing

inferred← citeshttps://doi.org/10.4230/oasics.wcet.2007.1193openalex-snapshot

Data-Flow Based Detection of Loop Bounds

inferred← citeshttps://doi.org/10.4230/oasics.wcet.2007.1195openalex-snapshot

Analysing Switch-Case Tables by Partial Evaluation

inferred← citeshttps://doi.org/10.4230/oasics.wcet.2009.2280openalex-snapshot

Worst-Case Timing Estimation and Architecture Exploration in Early Design Phases

inferred← citeshttps://doi.org/10.4230/oasics.wcet.2015.85openalex-snapshot

Analysing Switch-Case Code with Abstract Execution

inferred← citeshttps://doi.org/10.4271/2006-01-1499openalex-snapshot

Static Memory and Execution Time Analysis of Embedded Code

inferred← citeshttps://doi.org/10.4271/2007-01-1495openalex-snapshot

Towards Integrating Model-Driven Development of Hard Real-Time Systems with Static Program Analyzers

inferred← citeshttps://doi.org/10.48550/arxiv.2001.10621openalex-snapshot

Parallel Binary Code Analysis

inferred← citeshttps://doi.org/10.5281/zenodo.1091177openalex-snapshot

Reductions Of Control Flow Graphs

inferred← citeshttps://doi.org/10.5381/jot.2002.1.5.a1openalex-snapshot

Access Graphs.

inferred← citeshttps://doi.org/10.5555/2032497.2032537openalex-snapshot

Detecting and escaping infinite loops with jolt

inferred← citeshttps://doi.org/10.70675/29c4dcbaz365ez4589zad7ez2e35c1b7665copenalex-snapshot

Maîtrise du temps d'exécution de logiciels déployés dans des dispositifs personnels de confiance

inferred← citeshttps://doi.org/10.70675/30f2222azcdbez4074z8e9cz191560d41624openalex-snapshot

Affiner la déobfuscation symbolique et concrète de programmes protégés par des prédicats opaques

inferred← citeshttps://doi.org/10.70675/5c48fbd2z0163z458ez9d37z9b9a04bfba0dopenalex-snapshot

Détermination de propriétés de flot de données pour améliorer les estimations de temps d'exécution pire-cas

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.