On the public citation graph
Multi-run Side-Channel Analysis Using Symbolic Execution and Max-SMT
0 signed · 129 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.1007/10721064_15openalex-snapshot
A Practical Implementation of the Timing Attack
inferredcites →https://doi.org/10.1007/11814948_18openalex-snapshot
On SAT Modulo Theories and Optimization Problems
inferredcites →https://doi.org/10.1007/3-540-45661-9_21openalex-snapshot
Compression and Information Leakage of Plaintext
inferredcites →https://doi.org/10.1007/3-540-68697-5_9openalex-snapshot
Timing Attacks on Implementations of Diffie-Hellman, RSA, DSS, and Other Systems
inferredcites →https://doi.org/10.1007/978-1-4684-2001-2_9openalex-snapshot
Reducibility among Combinatorial Problems
inferredcites →https://doi.org/10.1007/978-3-540-32004-3_20openalex-snapshot
A Theorem Proving Approach to Analysis of Secure Information Flow
inferredcites →https://doi.org/10.1007/978-3-540-78800-3_24openalex-snapshot
Z3: An Efficient SMT Solver
inferredcites →https://doi.org/10.1007/978-3-642-00596-1_21openalex-snapshot
On the Foundations of Quantitative Information Flow
inferredcites →https://doi.org/10.1007/978-3-642-14496-7_15openalex-snapshot
The Optimum Leakage Principle for Analyzing Multi-threaded Programs
inferredcites →https://doi.org/10.1007/978-3-642-31424-7_40openalex-snapshot
Automatic Quantification of Cache Side-Channels
inferredcites →https://doi.org/10.1007/s10515-013-0122-2openalex-snapshot
Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis
inferredcites →https://doi.org/10.1016/j.comnet.2005.01.010openalex-snapshot
Remote timing attacks are practical
inferredcites →https://doi.org/10.1016/j.jsc.2003.04.003openalex-snapshot
Effective lattice point counting in rational convex polytopes
inferredcites →https://doi.org/10.1017/s0960129513000649openalex-snapshot
Algebraic foundations for quantitative information flow
inferredcites →https://doi.org/10.1109/csfw.2004.1310735openalex-snapshot
Secure information flow by self-composition
inferredcites →https://doi.org/10.1109/csfw.2004.17openalex-snapshot
Secure information flow by self-composition
inferredcites →https://doi.org/10.1109/icse.2013.6606558openalex-snapshot
Billions and billions of constraints: Whitebox fuzz testing in production
inferredcites →https://doi.org/10.1109/icse.2013.6606608openalex-snapshot
Reliability analysis in Symbolic PathFinder
inferredcites →https://doi.org/10.1109/sp.2009.18openalex-snapshot
Automatic Discovery and Quantification of Information Leaks
inferredcites →https://doi.org/10.1109/sp.2014.41openalex-snapshot
Quantifying Information Flow for Dynamic Secrets
inferredcites →https://doi.org/10.1145/1190215.1190251openalex-snapshot
Assessing security threats of looping constructs
inferredcites →https://doi.org/10.1145/1190216.1190251openalex-snapshot
Assessing security threats of looping constructs
inferredcites →https://doi.org/10.1145/1255329.1255335openalex-snapshot
Quantitative analysis of leakage for multi-threaded programs
inferredcites →https://doi.org/10.1145/1315245.1315282openalex-snapshot
An information-theoretic model for adaptive side-channel attacks
inferredcites →https://doi.org/10.1145/1375696.1375713openalex-snapshot
Lagrange multipliers and maximum information leakage in different observational models
inferredcites →https://doi.org/10.1145/1920261.1920300openalex-snapshot
Quantifying information leaks in software
inferredcites →https://doi.org/10.1145/1995376.1995394openalex-snapshot
Satisfiability modulo theories
inferredcites →https://doi.org/10.1145/2382756.2382791openalex-snapshot
Symbolic quantitative information flow
inferredcites →https://doi.org/10.1145/2568225.2568293openalex-snapshot
Enhancing symbolic execution with veritesting
inferredcites →https://doi.org/10.1145/2594291.2594329openalex-snapshot
Compositional solution space quantification for probabilistic software analysis
inferredcites →https://doi.org/10.1145/2632362.2632367openalex-snapshot
Quantifying information leaks using reliability analysis
inferredcites →https://doi.org/10.1145/2642937.2643011openalex-snapshot
Exact and approximate probabilistic symbolic execution for nondeterministic programs
inferredcites →https://doi.org/10.1145/2666356.2594329openalex-snapshot
Compositional solution space quantification for probabilistic software analysis
inferredcites →https://doi.org/10.1145/360248.360252openalex-snapshot
Symbolic execution and program testing
inferredcites →https://doi.org/10.3233/jcs-2007-15302openalex-snapshot
A static analysis for quantifying information flow in a simple imperative language
inferredcites →https://doi.org/10.5555/2486788.2486805openalex-snapshot
Billions and billions of constraints: whitebox fuzz testing in production
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/stvr.1718openalex-snapshot
An exploration of effective fuzzing for side‐channel cache leakage
inferred← citeshttps://doi.org/10.1007/978-3-030-01090-4_24openalex-snapshot
Information Leakage in Arbiter Protocols
inferred← citeshttps://doi.org/10.1007/978-3-030-03592-1_12openalex-snapshot
SideTrail: Verifying Time-Balancing of Cryptosystems
inferred← citeshttps://doi.org/10.1007/978-3-030-17138-4_2openalex-snapshot
A Formal Analysis of Timing Channel Security via Bucketing
inferred← citeshttps://doi.org/10.1007/978-3-030-17462-0_9openalex-snapshot
Quantitative Verification of Masked Arithmetic Programs Against Side-Channel Attacks
inferred← citeshttps://doi.org/10.1007/978-3-030-83128-8_9openalex-snapshot
Hybrid Differential Software Testing
inferred← citeshttps://doi.org/10.1007/978-3-030-99429-7openalex-snapshot
Fundamental Approaches to Software Engineering
inferred← citeshttps://doi.org/10.1007/978-3-030-99429-7_10openalex-snapshot
Symbolic Predictive Cache Analysis for Out-of-Order Execution
inferred← citeshttps://doi.org/10.1007/978-3-031-54773-7_14openalex-snapshot
SNARKProbe: An Automated Security Analysis Framework for zkSNARK Implementations
inferred← citeshttps://doi.org/10.1007/978-3-031-82349-7_31openalex-snapshot
Automated Side-Channel Analysis of ARM TrustZone-M Programs
inferred← citeshttps://doi.org/10.1007/978-3-032-22774-4_21openalex-snapshot
Unified Timing-Aware Program Verification
inferred← citeshttps://doi.org/10.1007/978-3-032-40374-2_18openalex-snapshot
Inferring Empirical Sound Resource Bounds via Symbolic Execution and Linear Programming
inferred← citeshttps://doi.org/10.1007/978-3-319-57288-8_9openalex-snapshot
Model-Counting Approaches for Nonlinear Numerical Constraints
inferred← citeshttps://doi.org/10.1007/978-3-319-60074-1_1openalex-snapshot
Probabilistic Program Analysis
inferred← citeshttps://doi.org/10.1007/978-3-319-62105-0_14openalex-snapshot
A Systematic Study of Cache Side Channels Across AES Implementations
inferred← citeshttps://doi.org/10.1007/978-3-319-67729-3_16openalex-snapshot
Inferring Secrets by Guided Experiments
inferred← citeshttps://doi.org/10.1007/s10817-020-09548-xopenalex-snapshot
System-Level Non-interference of Constant-Time Cryptography. Part II: Verified Static Analysis and Stealth Memory
inferred← citeshttps://doi.org/10.1016/bs.adcom.2018.10.002openalex-snapshot
Advances in Symbolic Execution
inferred← citeshttps://doi.org/10.1016/bs.adcom.2018.10.004openalex-snapshot
Symbolic Execution and Recent Applications to Worst-Case Execution, Load Testing, and Security Analysis
inferred← citeshttps://doi.org/10.1016/j.sysarc.2019.101697openalex-snapshot
Genetic algorithm based estimation of non–functional properties for GPGPU programs
inferred← citeshttps://doi.org/10.1016/j.vlsi.2020.02.001openalex-snapshot
A formal model for proving hardware timing properties and identifying timing channels
inferred← citeshttps://doi.org/10.1088/1742-6596/1634/1/012118openalex-snapshot
A review of hardware timing channel detection and mitigation
inferred← citeshttps://doi.org/10.1109/ase.2017.8115636openalex-snapshot
Static detection of asymptotic resource side-channel vulnerabilities in web applications
inferred← citeshttps://doi.org/10.1109/ase.2017.8115649openalex-snapshot
Comprehensive failure characterization
inferred← citeshttps://doi.org/10.1109/csf.2017.8openalex-snapshot
Synthesis of Adaptive Side-Channel Attacks
inferred← citeshttps://doi.org/10.1109/csf.2018.00030openalex-snapshot
Symbolic Side-Channel Analysis for Probabilistic Programs
inferred← citeshttps://doi.org/10.1109/csf.2019.00022openalex-snapshot
Games for Security Under Adaptive Adversaries
inferred← citeshttps://doi.org/10.1109/csf.2019.00036openalex-snapshot
Deterministic Channel Design for Minimum Leakage
inferred← citeshttps://doi.org/10.1109/eurosp.2018.00029openalex-snapshot
Online Synthesis of Adaptive Side-Channel Attacks Based On Noisy Observations
inferred← citeshttps://doi.org/10.1109/eurosp.2019.00036openalex-snapshot
On Aggregation of Information in Timing Attacks
inferred← citeshttps://doi.org/10.1109/icc40277.2020.9149177openalex-snapshot
DegradeTimer: Mitigating Dedicated Thread Timer based Microarchitectural Timing Channels
inferred← citeshttps://doi.org/10.1109/icse.2019.00034openalex-snapshot
DifFuzz: Differential Fuzzing for Side-Channel Analysis
inferred← citeshttps://doi.org/10.1109/icse43902.2021.00078openalex-snapshot
Abacus: Precise Side-Channel Analysis
inferred← citeshttps://doi.org/10.1109/icstw.2017.16openalex-snapshot
Testing Cache Side-Channel Leakage
inferred← citeshttps://doi.org/10.1109/isca66397.2026.00045openalex-snapshot
Helium: Quantifying Microarchitectural Side-Channel Leakage with Probabilistic Guarantees
inferred← citeshttps://doi.org/10.1109/sp.2017.53openalex-snapshot
Verifying and Synthesizing Constant-Resource Implementations with Types
inferred← citeshttps://doi.org/10.1109/sp.2017.64openalex-snapshot
From Trash to Treasure: Timing-Sensitive Garbage Collection
inferred← citeshttps://doi.org/10.1109/sp.2018.00052openalex-snapshot
Static Evaluation of Noninterference Using Approximate Model Counting
inferred← citeshttps://doi.org/10.1109/sp.2019.00022openalex-snapshot
CaSym: Cache Aware Symbolic Execution for Side Channel Detection and Mitigation
inferred← citeshttps://doi.org/10.1109/sp40000.2020.00007openalex-snapshot
JIT Leaks: Inducing Timing Side Channels through Just-In-Time Compilation
inferred← citeshttps://doi.org/10.1109/tcad.2018.2858402openalex-snapshot
Symbolic Verification of Cache Side-Channel Freedom
inferred← citeshttps://doi.org/10.1109/tcad.2021.3061524openalex-snapshot
ForASec: Formal Analysis of Hardware Trojan-Based Security Vulnerabilities in Sequential Circuits
inferred← citeshttps://doi.org/10.1109/tdsc.2022.3160346openalex-snapshot
ENCIDER: Detecting Timing and Cache Side Channels in SGX Enclaves and Cryptographic APIs
inferred← citeshttps://doi.org/10.1109/trustcom56396.2022.00112openalex-snapshot
Software Side Channel Vulnerability Detection Based on Similarity Calculation and Deep Learning
inferred← citeshttps://doi.org/10.1109/tse.2020.3008852openalex-snapshot
Formal Verification of Masking Countermeasures for Arithmetic Programs
inferred← citeshttps://doi.org/10.1145/2950290.2950362openalex-snapshot
String analysis for side channels with segmented oracles
inferred← citeshttps://doi.org/10.1145/3062341.3062378openalex-snapshot
Decomposition instead of self-composition for proving the absence of timing channels
inferred← citeshttps://doi.org/10.1145/3062341.3062388openalex-snapshot
Rigorous analysis of software countermeasures against cache attacks
inferred← citeshttps://doi.org/10.1145/3092703.3098242openalex-snapshot
Path cost analysis for side channel detection
inferred← citeshttps://doi.org/10.1145/3127041.3127044openalex-snapshot
Quantifying the information leak in cache attacks via symbolic execution
inferred← citeshttps://doi.org/10.1145/3133956.3134058openalex-snapshot
Precise Detection of Side-Channel Vulnerabilities using Quantitative Cartesian Hoare Logic
inferred← citeshttps://doi.org/10.1145/3140587.3062378openalex-snapshot
Decomposition instead of self-composition for proving the absence of timing channels
inferred← citeshttps://doi.org/10.1145/3140587.3062388openalex-snapshot
Rigorous analysis of software countermeasures against cache attacks
inferred← citeshttps://doi.org/10.1145/3182657openalex-snapshot
A Survey of Symbolic Execution Techniques
inferred← citeshttps://doi.org/10.1145/3213846.3213867openalex-snapshot
Symbolic path cost analysis for side-channel detection
inferred← citeshttps://doi.org/10.1145/3213846.3213868openalex-snapshot
Badger: complexity analysis with fuzzing and symbolic execution
inferred← citeshttps://doi.org/10.1145/3236024.3236028openalex-snapshot
Adversarial symbolic execution for detecting concurrency-related cache timing leaks
inferred← citeshttps://doi.org/10.1145/3238147.3241537openalex-snapshot
Differential program analysis with fuzzing and symbolic execution
inferred← citeshttps://doi.org/10.1145/3288758openalex-snapshot
Quantifying the Information Leakage in Cache Attacks via Symbolic Execution
inferred← citeshttps://doi.org/10.1145/3330392openalex-snapshot
Verifying and Quantifying Side-channel Resistance of Masked Software Implementations
inferred← citeshttps://doi.org/10.1145/3338906.3338913openalex-snapshot
Mitigating power side channels during compilation
inferred← citeshttps://doi.org/10.1145/3364452.336445759openalex-snapshot
Incremental Attack Synthesis
inferred← citeshttps://doi.org/10.1145/3377811.3380432openalex-snapshot
JVM fuzzing for JIT-induced side-channel detection
inferred← citeshttps://doi.org/10.1145/3377812.3382174openalex-snapshot
Detection and mitigation of JIT-induced side channels
inferred← citeshttps://doi.org/10.1145/3428015openalex-snapshot
A Hybrid Approach to Formal Verification of Higher-Order Masked Arithmetic Programs
inferred← citeshttps://doi.org/10.1145/3460319.3464817openalex-snapshot
QFuzz: quantitative fuzzing for side channels
inferred← citeshttps://doi.org/10.1145/3468264.3468596openalex-snapshot
A bounded symbolic-size model for symbolic execution
inferred← citeshttps://doi.org/10.1145/3540250.3549150openalex-snapshot
DeJITLeak: eliminating JIT-induced timing side-channel leaks
inferred← citeshttps://doi.org/10.1145/3551349.3556942openalex-snapshot
Learning to Synthesize Relational Invariants
inferred← citeshttps://doi.org/10.1145/3591281openalex-snapshot
Obtaining Information Leakage Bounds via Approximate Model Counting
inferred← citeshttps://doi.org/10.1145/3611643.3616287openalex-snapshot
State Merging with Quantifiers in Symbolic Execution
inferred← citeshttps://doi.org/10.1145/3622850openalex-snapshot
Quantifying and Mitigating Cache Side Channel Leakage with Differential Set
inferred← citeshttps://doi.org/10.1145/3635707openalex-snapshot
Compositional Verification of First-Order Masking Countermeasures against Power Side-Channel Attacks
inferred← citeshttps://doi.org/10.1145/3678169openalex-snapshot
Timing Side-Channel Mitigation via Automated Program Repair
inferred← citeshttps://doi.org/10.14722/ndss.2020.24269openalex-snapshot
Data-Driven Debugging for Functional Side Channels
inferred← citeshttps://doi.org/10.14722/ndss.2021.24327openalex-snapshot
TASE: Reducing Latency of Symbolic Execution with Transactional Memory
inferred← citeshttps://doi.org/10.17615/h4m8-cq49openalex-snapshot
Evaluating Information Leakage by Quantitative and Interpretable Measurements
inferred← citeshttps://doi.org/10.2200/s01010ed2v01y202005swe006openalex-snapshot
Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security
inferred← citeshttps://doi.org/10.3233/jcs-191356openalex-snapshot
Bucketing and information flow analysis for provable timing attack mitigation
inferred← citeshttps://doi.org/10.3384/9789179294885openalex-snapshot
Performance and Security Analysis for GPU-Based Applications
inferred← citeshttps://doi.org/10.3390/e24010039openalex-snapshot
Channel-Supermodular Entropies: Order Theory and an Application to Query Anonymization
inferred← citeshttps://doi.org/10.48550/arxiv.1812.05446openalex-snapshot
ForASec: Formal Analysis of Security Vulnerabilities in Sequential Circuits
inferred← citeshttps://doi.org/10.48550/arxiv.1904.11170openalex-snapshot
Abstract Interpretation under Speculative Execution
inferred← citeshttps://doi.org/10.48550/arxiv.1905.05322openalex-snapshot
Incremental Adaptive Attack Synthesis
inferred← citeshttps://doi.org/10.48550/arxiv.1905.13332openalex-snapshot
Identifying Cache-Based Side Channels through Secret-Augmented Abstract Interpretation
inferred← citeshttps://doi.org/10.48550/arxiv.1907.11710openalex-snapshot
Attack Synthesis for Strings using Meta-Heuristics
inferred← citeshttps://doi.org/10.48550/arxiv.1911.00507openalex-snapshot
SpecuSym: Speculative Symbolic Execution for Cache Timing Leak Detection
inferred← citeshttps://doi.org/10.48550/arxiv.2002.04049openalex-snapshot
Guidelines for Implementing and Auditing Differentially Private Systems
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.