Related papers: Public Key Protocol Based on Amalgamated Free Prod…
Hopf algebra structures on rooted trees are by now a well-studied object, especially in the context of combinatorics. In this work we consider a Hopf algebra H by introducing a coproduct on a (commutative) algebra of rooted forests,…
Tropical linear algebra has been recently put forward by Grigoriev and Shpilrain as a promising platform for implementation of protocols of Diffie-Hellman and Stickel type. Based on the CSR expansion of tropical matrix powers, we suggest a…
We investigate an extension of nominal many-sorted signatures in which abstraction has a form of instantiation, called generalised concretion, as elimination operator (similarly to lambda-calculi). Expressions are then classified using a…
Key-exchange protocols have been overlooked as a possible means for implementing oblivious transfer (OT). In this paper we present a protocol for mutual exchange of secrets, 1-out-of-2 OT and coin flipping similar to Diffie-Hellman protocol…
We show that the # product of binary trees introduced by Aval and Viennot [arXiv:0912.0798] is in fact defined at the level of the free associative algebra, and can be extended to most of the classical combinatorial Hopf algebras.
In this article, we use the theory of (non-abelian) exterior product of Hom-Lie algebras to prove the Hopf formula for these algebras. As an application, we construct an eight-term sequence in the homology of Hom-Lie algebras. We also…
We introduce a category of dual pairs of finite locally free algebras over a ring. This gives an efficient way to represent finite locally free commutative group schemes. We give a number of algorithms to compute with dual pairs of…
We use Hidden Markov Models to motivate a quantitative compositional semantics for noninterference-based security with iteration, including a refinement- or "implements" relation that compares two programs with respect to their information…
We construct a new protocol for attribute-based encryption with the use of the modification of the standard secret sharing scheme. In the suggested modification of the secret sharing scheme, only one master key for each user is required…
Blockchains and other public ledger structures promise a new way to create globally consistent event logs and other records. We make use of this consistency property to detect and prevent man-in-the-middle attacks in a key exchange such as…
The modular group algebra of an elementary abelian p-group is isomorphic to the restricted enveloping algebra of commutative restricted Lie algebra. The different ways of regarding this algebra result in different Hopf algebra structures…
The unified product was defined in \cite{am3} related to the restricted extending structure problem for Hopf algebras: a Hopf algebra $E$ factorizes through a Hopf subalgebra $A$ and a subcoalgebra $H$ such that $1\in H$ if and only if $E$…
We study the language-theoretic aspects of the word problem, in the sense of Duncan & Gilman, of free products of semigroups and monoids. First, we provide algebraic tools for studying classes of languages known as super-AFLs, which…
In this note, we first work out some `bare hands' computations of the most elementary possible free products involving $\mathbb{C}^2 ~(=\mathbb{C} \oplus \mathbb{C} $) and $M_2 ~(= M_2(\mathbb{C}))$. Using these, we identify all free…
Motivated by recent work of Connes and Marcolli, based on the Connes-Kreimer approach to renormalization, we augment the latter by a combinatorial, Lie algebraic point of view. Our results rely both on the properties of the Dynkin…
We develop a public key cryptosystem based on invariants of diagonalizable groups and investigate properties of such cryptosystem first over finite fields, then over number fields and finally over finite rings. We consider the security of…
We classify finite-dimensional complex Hopf algebras $A$ which are pointed, that is, all of whose irreducible comodules are one-dimensional, and whose group of group-like elements $G(A)$ is abelian such that all prime divisors of the order…
In 1999 A. Connes and D. Kreimer have discovered a Hopf algebra structure on the Feynman graphs of scalar field theory. They have found that the renormalization can be interpreted as a solving of some Riemann - Hilbert problem. In this work…
In this paper we prove a ``Leray theorem'' for preLie algebras. We define a notion of ''Hopf'' preLie algebra: it is a preLie algebra together with a non associative permutative coproduct D and a compatibility relation between the preLie…
We present several quantum public-key encryption (QPKE) protocols designed with conjugate coding single-photon string, thus may be realized in laboratory with nowadays techniques. Two of these schemes are orienting one-bit message, and are…