On the public citation graph
Synthesis of Adaptive Side-Channel Attacks
0 signed · 87 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/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-3-319-18467-8_27openalex-snapshot
Exploit Generation for Information Flow Leaks in Object-Oriented Programs
inferredcites →https://doi.org/10.1007/978-3-319-57288-8_9openalex-snapshot
Model-Counting Approaches for Nonlinear Numerical Constraints
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-31424-7_40openalex-snapshot
Automatic Quantification of Cache Side-Channels
inferredcites →https://doi.org/10.1007/978-3-642-38171-3_11openalex-snapshot
Enumerating Infeasibility: Finding Multiple MUSes Quickly
inferredcites →https://doi.org/10.1007/978-3-642-40196-1_16openalex-snapshot
SAT-Based Analysis and Quantification of Information Flow in Programs
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.1017/s0960129513000649openalex-snapshot
Algebraic foundations for quantitative information flow
inferredcites →https://doi.org/10.1109/ares.2015.14openalex-snapshot
All-Solution Satisfiability Modulo Theories: Applications, Algorithms and Benchmarks
inferredcites →https://doi.org/10.1109/csf.2016.34openalex-snapshot
Multi-run Side-Channel Analysis Using Symbolic Execution and Max-SMT
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.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.2010.20openalex-snapshot
Side-Channel Leaks in Web Applications: A Reality Today, a Challenge Tomorrow
inferredcites →https://doi.org/10.1109/sp.2014.41openalex-snapshot
Quantifying Information Flow for Dynamic Secrets
inferredcites →https://doi.org/10.1109/tevc.2010.2059031openalex-snapshot
Differential Evolution: A Survey of the State-of-the-Art
inferredcites →https://doi.org/10.1109/tit.1977.1055714openalex-snapshot
A universal algorithm for sequential data compression
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/2382756.2382791openalex-snapshot
Symbolic quantitative information flow
inferredcites →https://doi.org/10.1145/2632362.2632367openalex-snapshot
Quantifying information leaks using reliability analysis
inferredcites →https://doi.org/10.1145/2950290.2950362openalex-snapshot
String analysis for side channels with segmented oracles
inferredcites →https://doi.org/10.1145/360248.360252openalex-snapshot
Symbolic execution and program testing
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
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-17462-0_9openalex-snapshot
Quantitative Verification of Masked Arithmetic Programs Against Side-Channel Attacks
inferred← citeshttps://doi.org/10.1007/978-3-030-25540-4_8openalex-snapshot
Quantitative Mitigation of Timing Side Channels
inferred← citeshttps://doi.org/10.1007/978-3-030-41600-3_3openalex-snapshot
Quantifying Information Leakage Using Model Counting Constraint Solvers
inferred← citeshttps://doi.org/10.1007/978-3-030-54549-9_9openalex-snapshot
Automated Attacker Synthesis for Distributed Protocols
inferred← citeshttps://doi.org/10.1007/978-3-031-13185-1_18openalex-snapshot
A Scalable Shannon Entropy Estimator
inferred← citeshttps://doi.org/10.1007/978-3-031-50524-9_12openalex-snapshot
Function Synthesis for Maximizing Model Counting
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-74776-2_11openalex-snapshot
Quantitative Static Timing Analysis
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.1109/ase.2019.00050openalex-snapshot
Subformula Caching for Model Counting and Quantitative Program Analysis
inferred← citeshttps://doi.org/10.1109/ase.2019.00088openalex-snapshot
Debreach: Mitigating Compression Side Channels via Static Analysis and Transformation
inferred← citeshttps://doi.org/10.1109/csf.2018.00030openalex-snapshot
Symbolic Side-Channel Analysis for Probabilistic Programs
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/eurosp57164.2023.00047openalex-snapshot
Towards Automated Detection of Single-Trace Side-Channel Vulnerabilities in Constant-Time Cryptographic Code
inferred← citeshttps://doi.org/10.1109/icse.2019.00034openalex-snapshot
DifFuzz: Differential Fuzzing for Side-Channel Analysis
inferred← citeshttps://doi.org/10.1109/icse55347.2025.00018openalex-snapshot
Accounting for Missing Events in Statistical Information Leakage Analysis
inferred← citeshttps://doi.org/10.1109/idaacs.2019.8924447openalex-snapshot
Side Channel Attack on a Quantum Random Number Generator
inferred← citeshttps://doi.org/10.1109/ieeeconf52377.2022.10013096openalex-snapshot
Overview of Scientific Workflow Security Scheduling in Clouds
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.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/tc.2021.3122997openalex-snapshot
Magnifying Side-Channel Leakage of Lattice-Based Cryptosystems With Chosen Ciphertexts: The Case Study of Kyber
inferred← citeshttps://doi.org/10.1109/tse.2020.3008852openalex-snapshot
Formal Verification of Masking Countermeasures for Arithmetic Programs
inferred← citeshttps://doi.org/10.1145/3213846.3213851openalex-snapshot
Eliminating timing side-channel leaks using program repair
inferred← citeshttps://doi.org/10.1145/3213846.3213867openalex-snapshot
Symbolic path cost analysis for side-channel detection
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/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/3395363.3397365openalex-snapshot
Feedback-driven side-channel analysis for networked applications
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/3428215openalex-snapshot
Exposing cache timing side-channel leaks through out-of-order symbolic execution
inferred← citeshttps://doi.org/10.1145/3460319.3464817openalex-snapshot
QFuzz: quantitative fuzzing for side channels
inferred← citeshttps://doi.org/10.1145/3468264.3468593openalex-snapshot
Symbolic parallel adaptive importance sampling for probabilistic program analysis
inferred← citeshttps://doi.org/10.1145/3591281openalex-snapshot
Obtaining Information Leakage Bounds via Approximate Model Counting
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/3656407openalex-snapshot
Quantitative Robustness for Vulnerability Assessment
inferred← citeshttps://doi.org/10.1145/3708533openalex-snapshot
Software Security Analysis in 2030 and Beyond: A Research Roadmap
inferred← citeshttps://doi.org/10.14722/ndss.2019.23536openalex-snapshot
Profit: Detecting and Quantifying Side Channels in Networked Applications
inferred← citeshttps://doi.org/10.14722/ndss.2020.24269openalex-snapshot
Data-Driven Debugging for Functional Side Channels
inferred← citeshttps://doi.org/10.2200/s01010ed2v01y202005swe006openalex-snapshot
Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security
inferred← citeshttps://doi.org/10.4204/eptcs.326.4openalex-snapshot
Symbolic Execution + Model Counting + Entropy Maximization = Automatic Search Synthesis
inferred← citeshttps://doi.org/10.4204/eptcs.392.1openalex-snapshot
Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata
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.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.5821/dissertation-2117-404071openalex-snapshot
Exploration of FDSOI back-biasing techniques to hinder cryptographic attacks based on leakage current
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.