Towards Tight Differential Bounds of Ascon A Hybrid Usage of SMT and MILP.
Rusydi H. MakarimRaghvendra RohitPublished in: IACR Trans. Symmetric Cryptol. (2022)
Keyphrases
- lower bound
- upper bound
- worst case
- generalization error bounds
- branch and bound algorithm
- mixed integer linear programming
- linear program
- tight bounds
- lower and upper bounds
- upper and lower bounds
- error bounds
- information systems
- neural network
- usage patterns
- statistical machine translation
- constraint satisfaction problems
- objective function