[Resource Topic] 2024/1169: Attacking Tropical Stickel Protocol by MILP and Heuristic Optimization Techniques

Welcome to the resource topic for 2024/1169

Title:
Attacking Tropical Stickel Protocol by MILP and Heuristic Optimization Techniques

Authors: Sulaiman Alhussaini, Serge˘ı Sergeev

Abstract:

Known attacks on the tropical implementation of Stickel protocol involve solving a minimal covering problem, and this leads to an exponential growth in the time required to recover the secret key as the used polynomial degree increases. Consequently, it can be argued that Alice and Bob can still securely execute the protocol by utilizing very high polynomial degrees, a feasible approach due to the efficiency of tropical operations. The same is true for the implementation of Stickel protocol over some other semirings with idempotent addition (such as the max-min or fuzzy semiring). In this paper, we propose alternative methods to attacking Stickel protocol that avoid this minimal covering problem and the associated exponential time complexity. These methods involve framing the attacks as a mixed integer linear programming (MILP) problem or applying certain global optimization techniques.

ePrint: https://eprint.iacr.org/2024/1169

See all topics related to this paper.

Feel free to post resources that are related to this paper below.

Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.

For more information, see the rules for Resource Topics .