On the public citation graph
A Hybrid Approach to Formal Verification of Higher-Order Masked Arithmetic Programs
0 signed · 114 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/11502760_28openalex-snapshot
A Side-Channel Analysis Resistant Description of the AES S-Box
inferredcites →https://doi.org/10.1007/11545262_12openalex-snapshot
Successfully Attacking Masked AES Hardware Implementations
inferredcites →https://doi.org/10.1007/11605805_13openalex-snapshot
Practical Second-Order DPA Attacks for Masked Smart Card Implementations of Block Ciphers
inferredcites →https://doi.org/10.1007/3-540-44499-8_20openalex-snapshot
Differential Power Analysis in the Presence of Hardware Countermeasures
inferredcites →https://doi.org/10.1007/3-540-44709-1_2openalex-snapshot
A Sound Method for Switching between Boolean and Arithmetic Masking
inferredcites →https://doi.org/10.1007/3-540-48059-5_25openalex-snapshot
Resistance Against Differential Power Analysis For Elliptic Curve Cryptosystems
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-0-387-38162-6openalex-snapshot
Power Analysis Attacks: Revealing the Secrets of Smart Cards
inferredcites →https://doi.org/10.1007/978-3-030-03329-3_12openalex-snapshot
Tight Private Circuits: Achieving Probing Security with the Least Refreshing
inferredcites →https://doi.org/10.1007/978-3-030-11245-5_9openalex-snapshot
Small Faults Grow Up - Verification of Error Masking Robustness in Arithmetically Encoded Programs
inferredcites →https://doi.org/10.1007/978-3-030-17259-6_18openalex-snapshot
Efficiently Masking Binomial Sampling at Arbitrary Orders for Lattice-Based Crypto
inferredcites →https://doi.org/10.1007/978-3-030-17462-0_9openalex-snapshot
Quantitative Verification of Masked Arithmetic Programs Against Side-Channel Attacks
inferredcites →https://doi.org/10.1007/978-3-030-29959-0_15openalex-snapshot
maskVerif: Automated Verification of Higher-Order Masking in Presence of Physical Defaults
inferredcites →https://doi.org/10.1007/978-3-030-35869-3_8openalex-snapshot
One Trace Is All It Takes: Machine Learning-Based Side-Channel Attack on EdDSA
inferredcites →https://doi.org/10.1007/978-3-030-68487-7_8openalex-snapshot
A Power Side-Channel Attack on the CCA2-Secure HQC KEM
inferredcites →https://doi.org/10.1007/978-3-319-08867-9_8openalex-snapshot
Synthesis of Masking Countermeasures against Side Channel Attacks
inferredcites →https://doi.org/10.1007/978-3-319-13039-2_22openalex-snapshot
Confused by Confusion: Systematic Evaluation of DPA Resistance of Various S-boxes
inferredcites →https://doi.org/10.1007/978-3-319-24174-6_24openalex-snapshot
Small Tweaks Do Not Help: Differential Power Analysis of MILENAGE Implementations in 3G/4G USIM Cards
inferredcites →https://doi.org/10.1007/978-3-319-41540-6_19openalex-snapshot
Synthesis of Fault-Attack Countermeasures for Cryptographic Circuits
inferredcites →https://doi.org/10.1007/978-3-319-52153-4_6openalex-snapshot
An Efficient Side-Channel Protected AES Implementation with Arbitrary Protection Order
inferredcites →https://doi.org/10.1007/978-3-319-56620-7_19openalex-snapshot
Parallel Implementations of Masking Schemes and the Bounded Moment Leakage Model
inferredcites →https://doi.org/10.1007/978-3-319-63697-9_14openalex-snapshot
Private Multiplication over Finite Fields
inferredcites →https://doi.org/10.1007/978-3-319-66787-4_5openalex-snapshot
High-Order Conversion from Boolean to Arithmetic Masking
inferredcites →https://doi.org/10.1007/978-3-319-78375-8_11openalex-snapshot
Formal Verification of Masked Hardware Implementations in the Presence of Glitches
inferredcites →https://doi.org/10.1007/978-3-319-89339-6_7openalex-snapshot
SCA-Resistance for AES: How Cheap Can We Go?
inferredcites →https://doi.org/10.1007/978-3-319-89641-0_10openalex-snapshot
Differential Power Analysis of XMSS and SPHINCS
inferredcites →https://doi.org/10.1007/978-3-319-93387-0_4openalex-snapshot
Formal Verification of Side-Channel Countermeasures via Elementary Circuit Transformations
inferredcites →https://doi.org/10.1007/978-3-319-96142-2_12openalex-snapshot
SCInfer: Refinement-Based Verification of Software Countermeasures Against Side-Channel Attacks
inferredcites →https://doi.org/10.1007/978-3-540-24660-2_18openalex-snapshot
Hardware Countermeasures against DPA – A Statistical Analysis of Their Effectiveness
inferredcites →https://doi.org/10.1007/978-3-540-30564-4_5openalex-snapshot
Provably Secure Masking of AES
inferredcites →https://doi.org/10.1007/978-3-540-74735-2_3openalex-snapshot
Side Channel Cryptanalysis of a Higher Order Masking Scheme
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-15031-9_28openalex-snapshot
Provably Secure Higher-Order Masking of AES
inferredcites →https://doi.org/10.1007/978-3-642-20465-4_6openalex-snapshot
Pushing the Limits: A Very Compact and a Threshold Implementation of AES
inferredcites →https://doi.org/10.1007/978-3-642-23951-9_7openalex-snapshot
A Fast and Provably Secure Higher-Order Masking of AES S-Box
inferredcites →https://doi.org/10.1007/978-3-642-29912-4_6openalex-snapshot
Conversion of Security Proofs from One Leakage Model to Another: A New Issue
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-33027-8_4openalex-snapshot
Compiler Assisted Masking
inferredcites →https://doi.org/10.1007/978-3-642-33460-3_22openalex-snapshot
PCA, Eigenvector Localization and Clustering for Side-Channel Attacks on Cryptographic Hardware Devices
inferredcites →https://doi.org/10.1007/978-3-642-34047-5_21openalex-snapshot
Higher-Order Masking Schemes for S-Boxes
inferredcites →https://doi.org/10.1007/978-3-642-38348-9_9openalex-snapshot
Masking against Side-Channel Attacks: A Formal Security Proof
inferredcites →https://doi.org/10.1007/978-3-642-40349-1_17openalex-snapshot
Sleuth: Automated Verification of Software Power Analysis Countermeasures
inferredcites →https://doi.org/10.1007/978-3-642-40349-1_9openalex-snapshot
Fides: Lightweight Authenticated Cipher with Side-Channel Resistance for Constrained Hardware
inferredcites →https://doi.org/10.1007/978-3-642-54792-8_8openalex-snapshot
Leakage Resilience against Concurrent Cache Attacks
inferredcites →https://doi.org/10.1007/978-3-642-54862-8_5openalex-snapshot
SMT-Based Verification of Software Countermeasures against Side-Channel Attacks
inferredcites →https://doi.org/10.1007/978-3-662-44709-3_11openalex-snapshot
Secure Conversion between Boolean and Arithmetic Masking of Any Order
inferredcites →https://doi.org/10.1007/978-3-662-44709-3_2openalex-snapshot
A New Framework for Constraint-Based Probabilistic Template Side Channel Attacks
inferredcites →https://doi.org/10.1007/978-3-662-46800-5_18openalex-snapshot
Verified Proofs of Higher-Order Masking
inferredcites →https://doi.org/10.1007/978-3-662-47989-6_37openalex-snapshot
Consolidating Masking Schemes
inferredcites →https://doi.org/10.1007/978-3-662-48116-5_7openalex-snapshot
Conversion from Arithmetic to Boolean Masking with Logarithmic Complexity
inferredcites →https://doi.org/10.1007/978-3-662-54455-6_13openalex-snapshot
Compositional Synthesis of Leakage Resilient Programs
inferredcites →https://doi.org/10.1007/s00145-018-9284-1openalex-snapshot
Unifying Leakage Models: From Probing Attacks to Noisy Leakage
inferredcites →https://doi.org/10.1007/s10601-015-9237-3openalex-snapshot
Side-channel cryptographic attacks using pseudo-boolean optimization
inferredcites →https://doi.org/10.1007/s13389-011-0023-xopenalex-snapshot
Machine learning in side-channel analysis: a first study
inferredcites →https://doi.org/10.1007/s13389-012-0045-zopenalex-snapshot
Scan attacks on side-channel and fault attack resistant public-key implementations
inferredcites →https://doi.org/10.1007/s13389-018-0191-zopenalex-snapshot
Constant-time higher-order Boolean-to-arithmetic masking
inferredcites →https://doi.org/10.1007/s13389-019-00205-7openalex-snapshot
Side-channel robustness analysis of masked assembly codes using a symbolic approach
inferredcites →https://doi.org/10.1016/j.compind.2018.04.017openalex-snapshot
Cyber-physical systems and their security issues
inferredcites →https://doi.org/10.1016/j.cose.2017.04.005openalex-snapshot
Cyber physical systems security: Analysis, challenges and solutions
inferredcites →https://doi.org/10.1109/access.2019.2896256openalex-snapshot
An Efficient Collision Power Attack on AES Encryption in Edge Computing
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/csf.2017.8openalex-snapshot
Synthesis of Adaptive Side-Channel Attacks
inferredcites →https://doi.org/10.1109/dsd.2017.21openalex-snapshot
Higher-Order Side-Channel Protected Implementations of KECCAK
inferredcites →https://doi.org/10.1109/hst.2016.7495589openalex-snapshot
Template attacks using classification algorithms
inferredcites →https://doi.org/10.1109/iccad.1996openalex-snapshot
Proceedings of International Conference on Computer Aided Design
inferredcites →https://doi.org/10.1109/icecs.2018.8617841openalex-snapshot
VerMI: Verification Tool for Masked Implementations
inferredcites →https://doi.org/10.1109/jproc.2019.2918437openalex-snapshot
Edge Computing Security: State of the Art and Challenges
inferredcites →https://doi.org/10.1109/rtas.2016.7461358openalex-snapshot
Precise Cache Timing Analysis via Symbolic Execution
inferredcites →https://doi.org/10.1109/tc.2009.15openalex-snapshot
Statistical Analysis of Second Order Differential Power Analysis
inferredcites →https://doi.org/10.1109/tc.2016.2635650openalex-snapshot
Symbolic Analysis of Higher-Order Side Channel Countermeasures
inferredcites →https://doi.org/10.1109/tcad.2018.2858402openalex-snapshot
Symbolic Verification of Cache Side-Channel Freedom
inferredcites →https://doi.org/10.1109/tdsc.2019.2897663openalex-snapshot
On Evaluating Fault Resilient Encoding Schemes in Software
inferredcites →https://doi.org/10.1109/tifs.2019.2912549openalex-snapshot
Provable Order Amplification for Code-Based Masking: How to Avoid Non-Linear Leakages Due to Masked Operations
inferredcites →https://doi.org/10.1109/trustcom/bigdatase.2018.00205openalex-snapshot
Differential Power Analysis of 8-Bit Datapath AES for IoT Applications
inferredcites →https://doi.org/10.1145/1030083.1030097openalex-snapshot
Cryptanalysis of a provably secure CRT-RSA algorithm
inferredcites →https://doi.org/10.1145/2024724.2024778openalex-snapshot
A first step towards automatic application of power analysis countermeasures
inferredcites →https://doi.org/10.1145/2228360.2228376openalex-snapshot
A code morphing methodology to automate power analysis countermeasures
inferredcites →https://doi.org/10.1145/2660267.2660304openalex-snapshot
Synthesis of Fault Attacks on Cryptographic Implementations
inferredcites →https://doi.org/10.1145/2685616openalex-snapshot
Formal Verification of Software Countermeasures against Side-Channel Attacks
inferredcites →https://doi.org/10.1145/2950290.2950362openalex-snapshot
String analysis for side channels with segmented oracles
inferredcites →https://doi.org/10.1145/2976749.2978427openalex-snapshot
Strong Non-Interference and Type-Directed Higher-Order Masking
inferredcites →https://doi.org/10.1145/3062341.3062378openalex-snapshot
Decomposition instead of self-composition for proving the absence of timing channels
inferredcites →https://doi.org/10.1145/3133956.3134058openalex-snapshot
Precise Detection of Side-Channel Vulnerabilities using Quantitative Cartesian Hoare Logic
inferredcites →https://doi.org/10.1145/3213846openalex-snapshot
Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis
inferredcites →https://doi.org/10.1145/3213846.3213851openalex-snapshot
Eliminating timing side-channel leaks using program repair
inferredcites →https://doi.org/10.1145/3236024.3236028openalex-snapshot
Adversarial symbolic execution for detecting concurrency-related cache timing leaks
inferredcites →https://doi.org/10.1145/3238147.3240485openalex-snapshot
CANAL: a cache timing analysis framework via LLVM transformation
inferredcites →https://doi.org/10.1145/3288758openalex-snapshot
Quantifying the Information Leakage in Cache Attacks via Symbolic Execution
inferredcites →https://doi.org/10.1145/3314221.3314647openalex-snapshot
Abstract interpretation under speculative execution
inferredcites →https://doi.org/10.1145/3324884.3418920openalex-snapshot
Formal verification of masking countermeasures for arithmetic programs
inferredcites →https://doi.org/10.1145/3330392openalex-snapshot
Verifying and Quantifying Side-channel Resistance of Masked Software Implementations
inferredcites →https://doi.org/10.1145/3338906.3338913openalex-snapshot
Mitigating power side channels during compilation
inferredcites →https://doi.org/10.46586/tches.v2018.i2.22-45openalex-snapshot
Improved High-Order Conversion From Boolean to Arithmetic Masking
inferredcites →https://doi.org/10.46586/tches.v2018.i2.96-122openalex-snapshot
Fault Attacks Made Easy: Differential Fault Analysis Automation on Assembly Code
inferredcites →https://doi.org/10.46586/tches.v2018.i3.89-120openalex-snapshot
Composable Masking Schemes in the Presence of Physical Defaults & the Robust Probing Model
inferredcites →https://doi.org/10.46586/tches.v2019.i3.1-29openalex-snapshot
Fully Automated Differential Fault Analysis on Software Implementations of Block Ciphers
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-031-13185-1_19openalex-snapshot
PoS4MPC: Automated Security Policy Synthesis for Secure Multi-party Computation
inferred← citeshttps://doi.org/10.1007/978-3-031-37709-9_13openalex-snapshot
Automated Verification of Correctness for Masked Arithmetic Programs
inferred← citeshttps://doi.org/10.1109/csf68417.2026.00033openalex-snapshot
Formal Verification of Probing Security via Conditional Independence
inferred← citeshttps://doi.org/10.1109/i2cacis65476.2025.11101274openalex-snapshot
Balancing Security and Energy Efficiency for IoT Devices Using Hybrid Cryptographic Schemes Merging Traditional and Post-Quantum Cryptography
inferred← citeshttps://doi.org/10.1145/3540250.3549150openalex-snapshot
DeJITLeak: eliminating JIT-induced timing side-channel leaks
inferred← citeshttps://doi.org/10.1145/3622862openalex-snapshot
Compositional Verification of Efficient Masking Countermeasures against Side-Channel Attacks
inferred← citeshttps://doi.org/10.1145/3632871openalex-snapshot
EasyBC: A Cryptography-Specific Language for Security Analysis of Block Ciphers against Differential Cryptanalysis
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/3643772openalex-snapshot
Towards Efficient Verification of Constant-Time Cryptographic Implementations
inferred← citeshttps://doi.org/10.1145/3783996openalex-snapshot
A Brief History of Formal Methods in China
inferred← citeshttps://doi.org/10.46586/tches.v2025.i1.552-585openalex-snapshot
Prover - Toward More Efficient Formal Verification of Masking in Probing Model
inferred← citeshttps://doi.org/10.48550/arxiv.2106.12714openalex-snapshot
Circuit Masking: From Theory to Standardization, A Comprehensive Survey for Hardware Security Researchers and Practitioners
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.