Sciact
  • EN
  • RU

Cryptanalysis of a key exchange protocol based on a digital semiring Full article

Journal Communications in Algebra
ISSN: 0092-7872 , E-ISSN: 1532-4125
Output data Year: 2025, DOI: 10.1080/00927872.2025.2509119
Tags Branch and bound; cryptanalysis; digital semiring; max-min semiring; tropical cryptography
Authors Ponmaheshkumar A 2 , Kotov M 1 , Perumal R 2
Affiliations
1 Sobolev Institute of Mathematics of SB RAS, Omsk, Russia
2 Department of Mathematics, SRM Institute of Science and Technology, Kattankulathur, Tamil Nadu, India

Funding (1)

1 Russian Science Foundation 22-11-20019

Abstract: This paper is devoted to tropical cryptography, a branch of non-commutative cryptography that uses tropical structures as platforms for cryptographic protocols. In this paper, we focus on the key exchange scheme based on a digital semiring proposed by Huang et al. [16]. Analyzing the protocol, we study systems of equations of degree two of a special form and suggest an algorithm to solve them based on the branch-and-bound approach. We show how this method can be used to attack this scheme. Additionally, we show that the 3-SAT can be reduced in polynomial time to the problem of solving systems of quadratic polynomial equations of a special form over this semiring.
Cite: Ponmaheshkumar A. , Kotov M. , Perumal R.
Cryptanalysis of a key exchange protocol based on a digital semiring
Communications in Algebra. 2025. DOI: 10.1080/00927872.2025.2509119 Scopus OpenAlex
Dates:
Submitted: Oct 9, 2024
Accepted: May 7, 2025
Published online: Jun 29, 2025
Identifiers:
Scopus: 2-s2.0-105006985768
OpenAlex: W4410856622
Citing: Пока нет цитирований
Altmetrics: