Pith. sign in

REVIEW 1 cited by

Contracting Self-similar Groups in Group-Based Cryptography

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2408.14355 v2 pith:2X4NR7A6 submitted 2024-08-26 math.GR cs.CR

classification math.GRcs.CR
keywords groupsclasssomeconjugacygroupproblemscspself-similar
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

We propose self-similar contracting groups as a platform for cryptographic schemes based on simultaneous conjugacy search problem (SCSP). The class of these groups contains extraordinary examples like Grigorchuk group, which is known to be non-linear, thus making some of existing attacks against SCSP inapplicable. The groups in this class admit a natural normal form based on the notion of a nucleus portrait, that plays a key role in our approach. While for some groups in the class the conjugacy search problem has been studied, there are many groups for which no algorithms solving it are known. Moreover, there are some self-similar groups with undecidable conjugacy problem. We discuss benefits and drawbacks of using these groups in group-based cryptography and provide computational analysis of variants of the length-based attack on SCSP for some groups in the class, including Grigorchuk group, Basilica group, and others.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. A just-infinite iterated monodromy group without the congruence subgroup property

    math.GR 2025-05 conditional novelty 7.0 of 10

    The iterated monodromy group of z^2+i is just-infinite and fails the congruence subgroup property, with maximal branching subgroup abelianization C_4^5.

Pith tools