Groups of automorphisms of p-adic integers and the problem of the existence of fully homomorphic ciphers

In this paper, we study groups of automorphisms of algebraic systems over a set of p-adic integers with different sets of arithmetic and coordinate-wise logical operations and congruence relations modulo p^k, k> 1. The main result of this paper is the description of groups of automorphisms of p-adic integers with one or two arithmetic or coordinate-wise logical operations on p-adic integers. To describe groups of automorphisms, we use the apparatus of the p-adic analysis and p-adic dynamical systems. The motive for the study of groups of automorphism of algebraic systems over p-adic integers is the question of the existence of a fully homomorphic encryption in a given family of ciphers. The relationship between these problems is based on the possibility of constructing a "continuous" p-adic model for some families of ciphers (in this context, these ciphers can be considered as "discrete" systems). As a consequence, we can apply the "continuous" methods of p-adic analysis to solve the "discrete" problem of the existence of fully homomorphic ciphers.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
03/24/2016

Secure cloud computations: Description of (fully)homomorphic ciphers within the P-adic model of encryption

In this paper we consider the description of homomorphic and fully homom...
research
03/15/2018

Rigid models of Presburger arithmetic

We present a description of rigid models of Presburger arithmetic (i.e.,...
research
04/07/2019

The Syntax of Disjunctive Propositional Logic and Algebraic L-domains

Based on the investigation of the proof system of a disjunctive proposit...
research
03/12/2020

Algorithms in Linear Algebraic Groups

This paper presents some algorithms in linear algebraic groups. These al...
research
01/30/2019

The Semialgebraic Orbit Problem

The Semialgebraic Orbit Problem is a fundamental reachability question t...
research
11/07/2020

Constructing Cryptographic Multilinear Maps Using Affine Automorphisms

The point of this paper is to use affine automorphisms from algebraic ge...
research
10/16/2022

Logical Zonotope: A Set Representation for Binary Vectors

In this paper, we propose a new set representation for binary vectors ca...

Please sign up or login with your details

Forgot password? Click here to reset