Showing 1–2 of 2 results for author: Kotov, M

On equationally Noetherian predicate structures

Authors: Ivan Buchinskiy, Matvei Kotov, Alexander Treier

Abstract: In this paper, we prove a criterion for a predicate structure to be equationally Noetherian. In this paper, we prove a criterion for a predicate structure to be equationally Noetherian. △ Less

Submitted 16 July, 2024; v1 submitted 3 July, 2024; originally announced July 2024.

Comments: 13 pages, 4 figures. Published in the journal of Groups, Complexity, Cryptology

MSC Class: 08A99; 03C05

Analysis of a certain polycyclic-group-based cryptosystem

Authors: Matvei Kotov, Alexander Ushakov

Abstract: We investigate security properties of the Anshel-Anshel-Goldfeld commutator key-establishment protocol used with certain polycyclic groups. We show that despite low success of the length based attack the protocol can be broken by a deterministic polynomial-time algorithm. We investigate security properties of the Anshel-Anshel-Goldfeld commutator key-establishment protocol used with certain polycyclic groups. We show that despite low success of the length based attack the protocol can be broken by a deterministic polynomial-time algorithm. △ Less

Submitted 20 April, 2015; originally announced April 2015.

MSC Class: 94A60; 68W30