MIFA: An MILP-based Framework for Improving Differential Fault Attacks

arXiv:2608.06837 · cs.CR · Submitted 2026-08-07 · Read on arXiv

Hanbeom Shin, Insung Kim, Sunyeop Kim, Byoungjin Seok, Deukjo Hong, Jaechul Sung, Seokhie Hong, Sangjin Lee, Dongjae Lee

cs.CR

Submitted: 2026-08-07

Updated: 2026-08-10

Comments: 24 pages, 2 figures

Journal ref: IACR Transactions on Cryptographic Hardware and Embedded Systems, Vol. 2026, No. 3, pp. 465-488, 2026

DOI: 10.46586/tches.v2026.i3.465-488

Code: https://github.com/shb115/MIFA

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Terminology

• Core — 10× in this paper · explained in 2 episodes
• Mixed-Integer Linear Programming — 5× in this paper
• Structural Properties — 4× in this paper · explained in 2 episodes
• Objective Function — 3× in this paper · explained in 2 episodes
• Differential Fault Attack — 2× in this paper
• Accuracy — 1× in this paper · explained in 1 episode
• Hybrid Approach — 1× in this paper · explained in 4 episodes
• Redundancy — 1× in this paper · explained in 2 episodes
• S-boxes with Linear Structures — 1× in this paper
• SMT solver — 1× in this paper · explained in 2 episodes
• Sparsity — 1× in this paper · explained in 5 episodes

Related papers

• SoK: AI-Augmented Binary Reversing
• Relaxed Sender Anonymity for CBDC Interbank Settlement: A Zero-Knowledge Approach on Permissioned EVM
• Calibration-Family Overfit: Why Trusted Sabotage Monitors Don't Transfer Across Lineages
• Estimating the Social Cost of Corporate Data Breaches
• Efficient Fuzzy PSI under One-Sided Assumptions
• Sealing the Audit-Runtime Gap for LLM Skills