English
Related papers

Related papers: Vectorial Resilient $PC(l)$ of Order $k$ Boolean F…

200 papers

A short introduction to quantum error correction is given, and it is shown that zero-dimensional quantum codes can be represented as self-dual additive codes over GF(4) and also as graphs. We show that graphs representing several such codes…

Quantum Physics · Physics 2008-01-09 Lars Eirik Danielsen

Finding Boolean functions suitable for cryptographic primitives is a complex combinatorial optimization problem, since they must satisfy several properties to resist cryptanalytic attacks, and the space is very large, which grows super…

Neural and Evolutionary Computing · Computer Science 2022-02-17 Luca Mariot , Stjepan Picek , Domagoj Jakobovic , Marko Djurasevic , Alberto Leporati

We consider quantum, nondterministic and probabilistic versions of known computational model Ordered Read-$k$-times Branching Programs or Ordered Binary Decision Diagrams with repeated test ($k$-QOBDD, $k$-NOBDD and $k$-POBDD). We show…

Computational Complexity · Computer Science 2017-03-24 Kamil Khadiev , Rishat Ibrahimov

The coding problem considered in this work is to construct a linear code $\mathcal{C}$ of given length $n$ and dimension $k<n$ such that a given binary vector $\mathbf{r} \in \mathbb{F}^{n}$ is contained in the code. We study a recent…

Information Theory · Computer Science 2018-08-15 Sven Müelich , Sven Puchinger , Martin Bossert

Boolean functions are mathematical objects used in diverse domains and have been actively researched for several decades already. One domain where Boolean functions play an important role is cryptography. There, the plethora of settings one…

Cryptography and Security · Computer Science 2023-01-20 Marko Djurasevic , Domagoj Jakobovic , Luca Mariot , Stjepan Picek

Recently, much progress has been made to construct minimal linear codes due to their preference in secret sharing schemes and secure two-party computation. In this paper, we put forward a new method to construct minimal linear codes by…

Information Theory · Computer Science 2022-08-09 Yanjun Li , Jie Peng , Haibin Kan , Lijing Zheng

The algebraic degree is an important parameter of Boolean functions used in cryptography. When a function in a large number of variables is not given explicitly in algebraic normal form, it might not be feasible to compute its degree.…

Cryptography and Security · Computer Science 2023-06-22 Ana Salagean , Percy Reyes-Paredes

A new class of spatially-coupled turbo-like codes (SC-TCs), dubbed generalized spatially coupled parallel concatenated codes (GSC-PCCs), is introduced. These codes are constructed by applying spatial coupling on parallel concatenated codes…

Information Theory · Computer Science 2022-02-25 Min Qiu , Xiaowei Wu , Jinhong Yuan , Alexandre Graell i Amat

The work offers a new approach to the formation of functions which are used in cryptography and cryptanalysis. It will use alternative forms of representation of Boolean functions, that is, those which are different from the classical form,…

Cryptography and Security · Computer Science 2015-10-06 Kushch Sergii

We propose a general approach to construct cryptographic significant Boolean functions of $(r+1)m$ variables based on the additive decomposition $\mathbb{F}_{2^{rm}}\times\mathbb{F}_{2^m}$ of the finite field $\mathbb{F}_{2^{(r+1)m}}$,…

Cryptography and Security · Computer Science 2014-01-28 Baofeng Wu , Qingfang Jin , Zhuojun Liu , Dongdai Lin

Physical Unclonable Functions evaluate manufacturing variations to generate secure cryptographic keys for embedded systems without secure key storage. It is explained how methods from coding theory are applied in order to ensure reliable…

Information Theory · Computer Science 2015-01-28 Sven Puchinger , Sven Müelich , Martin Bossert , Matthias Hiller , Georg Sigl

Exhibiting an explicit Boolean function with a large high-order nonlinearity is an important problem in cryptography, coding theory, and computational complexity. We prove lower bounds on the second-order, third-order, and higher-order…

Cryptography and Security · Computer Science 2023-09-21 Jinjie Gao , Haibin Kan , Yuan Li , Jiahua Xu , Qichun Wang

We present new algorithms to compute fundamental properties of a Boolean function given in truth-table form. Specifically, we give an O(N^2.322 log N) algorithm for block sensitivity, an O(N^1.585 log N) algorithm for `tree decomposition,'…

Computational Complexity · Computer Science 2007-05-23 Scott Aaronson

It is proved an amplification of Cusick-Cheon's conjecture on balanced Boolean functions in the cosets of the binary Reed-Muller code RM(k,m) of order k and length 2^m, in the cases where k = 1 or k >= (m-1)/2.

Information Theory · Computer Science 2008-04-14 Yuri L. Borissov

A Boolean function on n variables is q-resilient if for any subset of at most q variables, the function is very likely to be determined by a uniformly random assignment to the remaining n-q variables; in other words, no coalition of at most…

Computational Complexity · Computer Science 2016-04-19 Raghu Meka

Algebraic-geometric codes can be constructed by evaluating a certain set of functions on a set of distinct rational points of an algebraic curve. The set of functions that are evaluated is the linear space of a given divisor or,…

Information Theory · Computer Science 2008-03-10 Valentin Savin

In this work we derive and analyze variational integrators of higher order for the structure-preserving simulation of mechanical systems. The construction is based on a space of polynomials together with Gauss and Lobatto quadrature rules…

Numerical Analysis · Mathematics 2014-04-08 Sina Ober-Blöbaum , Nils Saake

We describe a new class of list decodable codes based on Galois extensions of function fields and present a list decoding algorithm. These codes are obtained as a result of folding the set of rational places of a function field using…

Information Theory · Computer Science 2009-01-12 Ming-Deh Huang , Anand Kumar Narayanan

Secure multi-party computation is an area in cryptography which studies how multiple parties can compare their private information without revealing it. Besides digital protocols, many unconventional protocols for secure multi-party…

Cryptography and Security · Computer Science 2026-03-18 Suthee Ruangwises

We study the $n$-variable Boolean functions which keep their algebraic degree unchanged when they are restricted to any (affine) hyperplane, or more generally to any affine space of a given co-dimension $k$. For cryptographic applications…

Commutative Algebra · Mathematics 2024-10-02 Claude Carlet , Serge Feukoua , Ana Sălăgean