EasyBC: A Cryptography-Specific Language for Security Analysis of Block Ciphers ...
summary
A domain-specific language EasyBC encodes block ciphers and automatically generates MILP models to bound the maximum expected differential characteristic probability by minimizing minimum active S-boxes via Mixed Integer Linear Programming. Three encodings—worldwide, bitwise, extended bitwise—trade model size for tightness; preprocessing removes loops and constants and a type checker extracts S‑box DDTs. An open-source tool solves the MILPs and, across 23 real-life primitives including all 10 NIST lightweight finalists, proves resistance against differential cryptanalysis.
AI-written summary · about
chapters (20)
- 0:00EasyBC introduction
- 1:06Block ciphers and differential cryptanalysis
- 2:54Security analysis challenges
- 3:36EasyBC design principles
- 4:41Automated analysis workflow
- 5:27Worldwide constraint modeling
- 6:28Integer linear constraints
- 7:31MILP model construction
- 8:15Security evaluation with MILP
- 9:20Bitwise approaches
- 10:46Extended bitwise bounds
- 11:30Experimental evaluation
- 12:36Results and resistance analysis
- 12:57Limitations and unsupported ciphers
- 13:20Choosing practical approach
- 14:04Future expansions
- 14:46Summary
- 15:10Q&A: Code generation
- 16:19Q&A: Target languages
- 17:48Q&A: Translation accuracy
related talks
32mSymmetric Cryptanalysis I
43mCode-based Cryptography
19mSymmetric Cryptography 1
42mEverything I always wanted to know about crypto
48mAdvanced Symmetric-Key Encryption
57mUnboxing The White-Box: Practical Attacks Against Obfuscated Ciphers
50mBy-Design Backdooring of Encryption System - Can We Trust Foreign Encryption Algorithms
24mImplementing the Post-Quantum Survivors: A Retrospective