Automorphisms of Types and Their Applications.

Sergei Soloviev (1, 2) , Ian Malakhovski (1)

1 IRIT-ACADIE - Assistance à la Certification d’Applications DIstribuées et Embarquées
2 ITMO - National Research University of Information Technologies, Mechanics and Optics [St. Petersburg]

We outline recent results in the theory of type isomorphisms and automorphisms and present several practical applications of these results that can be useful in the contexts of programming and data security.

Mots clés: automorphisms of types; isomorphisms of types; cryptographie; El Gamal

Domaines: Informatique [cs]; Cryptographie et sécurité [cs.CR]

Sergei Soloviev, Ian Malakhovski. Automorphisms of Types and Their Applications.. Journal of Mathematical Sciences, 2019, 240 (5), pp.692--706. ⟨10.1007/s10958-019-04386-8⟩. ⟨hal-03003829⟩