Results 1  10
of
17
Normal Bases over Finite Fields
, 1993
"... Interest in normal bases over finite fields stems both from mathematical theory and practical applications. There has been a lot of literature dealing with various properties of normal bases (for finite fields and for Galois extension of arbitrary fields). The advantage of using normal bases to repr ..."
Abstract

Cited by 13 (0 self)
 Add to MetaCart
(Show Context)
Interest in normal bases over finite fields stems both from mathematical theory and practical applications. There has been a lot of literature dealing with various properties of normal bases (for finite fields and for Galois extension of arbitrary fields). The advantage of using normal bases to represent finite fields was noted by Hensel in 1888. With the introduction of optimal normal bases, large finite fields, that can be used in secure and e#cient implementation of several cryptosystems, have recently been realized in hardware. The present thesis studies various theoretical and practical aspects of normal bases in finite fields. We first give some characterizations of normal bases. Then by using linear algebra, we prove that F q n has a basis over F q such that any element in F q represented in this basis generates a normal basis if and only if some groups of coordinates are not simultaneously zero. We show how to construct an irreducible polynomial of degree 2 n with linearly i...
Affine dispersers from subspace polynomials
 In Proceedings of the 41st Annual ACM Symposium on Theory of Computing
, 2009
"... Dispersers and extractors for affine sources of dimension d in Fn p — where Fp denotes the finite field of prime size p — are functions f: Fn p → Fp that behave pseudorandomly when their domain is restricted to any particular affine space S ⊆ Fn p of dimension at least d. For dispersers, “pseudorand ..."
Abstract

Cited by 7 (1 self)
 Add to MetaCart
Dispersers and extractors for affine sources of dimension d in Fn p — where Fp denotes the finite field of prime size p — are functions f: Fn p → Fp that behave pseudorandomly when their domain is restricted to any particular affine space S ⊆ Fn p of dimension at least d. For dispersers, “pseudorandom behavior ” means that f is nonconstant over S, i.e., {f(s)  s ∈ S} > 1. For extractors, it means that f(s) is distributed almost uniformly over Fp when s is distributed uniformly over S. Dispersers and extractors for affine sources have been considered in the context of deterministic extraction of randomness from structured sources of imperfect randomness. Previously, explicit constructions of affine dispersers were known for every d = Ω(n), due to Barak, Kindler, Shaltiel, Sudakov, and Wigderson [2005] and explicit affine extractors for the same dimension were obtained by Bourgain [2007]. The main result of this paper is an efficient deterministic construction of affine dispersers for sublinear dimension d = Ω(n4/5). Additional results include a new and simple affine extractor for dimension d> 2n/5, and a simple disperser for multiple independent affine sources. The main novelty in this paper lies in the method of proof, which makes use of classical algebraic objects called subspace polynomials. In contrast, the papers mentioned above relied on the sumproduct theorem for finite fields and other recent results from additive combinatorics.
The Riemann hypothesis in characteristic p, its origin and development  Part 1. The formation of the zetafunctions of Artin and of F. K. Schmidt
, 2003
"... This paper is the first part of a larger project which will give a comprehensive view of the history around the Riemann hypothesis for function fields. (A preliminary version has appeared 1997/98.) This Part 1 is dealing with the development before Hasse's contributions to the Riemann hypot ..."
Abstract

Cited by 7 (2 self)
 Add to MetaCart
This paper is the first part of a larger project which will give a comprehensive view of the history around the Riemann hypothesis for function fields. (A preliminary version has appeared 1997/98.) This Part 1 is dealing with the development before Hasse's contributions to the Riemann hypothesis. We are trying to explain what he could build upon. The time
Constructing Normal Bases in Finite Fields
 J. Symbolic Comput
, 1990
"... This paper addresses the question: how can we find a normal element efficiently? More generally, we consider how to find an element of any given additive order. Hensel (1888) pioneered the study of normal bases for finite fields and proved that they always exist. We use his algorithm in Section 2. E ..."
Abstract

Cited by 5 (0 self)
 Add to MetaCart
(Show Context)
This paper addresses the question: how can we find a normal element efficiently? More generally, we consider how to find an element of any given additive order. Hensel (1888) pioneered the study of normal bases for finite fields and proved that they always exist. We use his algorithm in Section 2. Eisenstein (1850) had already noted that normal bases always exist. Hensel, and also Ore (1934), determine exactly the number of these bases, and Ore develops the more general concept of additive order. Ore's approach is developed into more constructive proofs of the normal basis theorem in several textbooks (for example, van der Waerden 1966, Section 67, and Albert 1956, Section 4.15); these all use some linear algebra calculations. Schwarz (1988) has given a new proof along these lines, and several recent papers have translated this approach into algorithms. Sidel'nikov (1988) deals with the case where n divides one of p (the characteristic of F q ), q + 1, or
A Family of Weak Keys in HFE (and the Corresponding Practical KeyRecovery)
"... The HFE (Hidden Field Equations) cryptosystem is one of the most interesting publickey multivariate scheme. It has been proposed more than 10 years ago by Patarin and seems to withstand the attacks that break many other multivariate schemes, since only subexponential ones have been proposed. The p ..."
Abstract

Cited by 4 (1 self)
 Add to MetaCart
(Show Context)
The HFE (Hidden Field Equations) cryptosystem is one of the most interesting publickey multivariate scheme. It has been proposed more than 10 years ago by Patarin and seems to withstand the attacks that break many other multivariate schemes, since only subexponential ones have been proposed. The public key is a system of quadratic equations in many variables. These equations are generated from the composition of the secret elements: two linear mappings and a polynomial of small degree over an extension field. In this paper we show that there exist weak keys in HFE when the coefficients of the internal polynomial are defined in the ground field. In this case, we reduce the secret key recovery problem to an instance of the Isomorphism of Polynomials (IP) problem between the equations of the public key and themselves. Even though for schemes such as SFLASH or C ∗ the hardness of keyrecovery relies on the hardness of the IP problem, this is normally not the case for HFE, since the internal polynomial is kept secret. However, when a weak key is used, we show how to recover all the components of the secret key in practical time, given a solution to an instance of the IP problem. This breaks in particular a variant of HFE proposed by Patarin to reduce the size of the public key and called the “subfield variant”.
Polynomials in finite geometries
 In J.D. Lamb & D.A. Preece (Ed.), Surveys in combinatorics. (London Mathematical Society Lecture Note Series 267
, 1999
"... Summary A method of using polynomials to describe objects in finite geometries is outlined and the problems where this method has led to a solution are surveyed. These problems concern nuclei, affine blocking sets, maximal arcs and unitals. In the case of nuclei these methods give lower bounds on th ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
(Show Context)
Summary A method of using polynomials to describe objects in finite geometries is outlined and the problems where this method has led to a solution are surveyed. These problems concern nuclei, affine blocking sets, maximal arcs and unitals. In the case of nuclei these methods give lower bounds on the number of nuclei to a set of points in PG(n, q), usually dependent on some binomial coefficient not vanishing modulo the characteristic of the field. These lower bounds on nuclei lead directly to lower bounds on affine blocking sets with respect to lines. A short description of how linear polynomials can be used to construct maximal arcs in certain translation planes is included. A proof of the nonexistence of maximal arcs in PG(2, q) when q is odd is outlined and some bounds are given as to when a (k, n)arc can be extended to a maximal arc in PG(2, q). These methods can also be applied to unitals embedded in PG(2, q). One implication of this is that when q is the square of a prime a nonclassical unital has a limited amount of Baer sublines amongst its secants. 1
Some Results on the Functional Decomposition of Polynomials
, 1988
"... If g and h are functions over some field, we can consider their composition f = g(h). The inverse problem is decomposition: given f, determine the existence of such functions g and h. In this thesis we consider functional decompositions of univariate and multivariate polynomials, and rational functi ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
If g and h are functions over some field, we can consider their composition f = g(h). The inverse problem is decomposition: given f, determine the existence of such functions g and h. In this thesis we consider functional decompositions of univariate and multivariate polynomials, and rational functions over a field F of characteristic p. In the polynomial case, “wild” behaviour occurs in both the mathematical and computational theory of the problem if p divides the degree of g. We consider the wild case in some depth, and deal with those polynomials whose decompositions are in some sense the “wildest”: the additive polynomials. We determine the maximum number of decompositions and show some polynomial time algorithms for certain classes of polynomials with wild decompositions. For the rational function case we present a definition of the problem, a normalised version of the problem to which the general problem reduces, and an exponential time solution to the normal problem.
Specific Irreducible Polynomials with Linearly Independent Roots over Finite Fields
"... In this paper we give several families of specific irreducible polynomials with the following property: if f(x) is one of the given polynomials of degree n over a finite field F q and # is a root of it, then # # F q n is normal over every intermediate field between F q n and F q . Here by # # F q ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
In this paper we give several families of specific irreducible polynomials with the following property: if f(x) is one of the given polynomials of degree n over a finite field F q and # is a root of it, then # # F q n is normal over every intermediate field between F q n and F q . Here by # # F q n being normal over a subfield F q we mean that the algebraic conjugates #, # are linearly independent over F q . The degrees of the given polynomials are of the form 2 i where r 1 , r 2 , ...,r u are distinct odd prime factors of q  1 and k, l 1 ,...,l u are arbitrary positive integers. For example, we prove that, for a prime p # 3 mod 4, if x  bx  1 # F p [x]is irreducible with b #= 2 then the polynomial  x has the described property over F p for every integer k # 0. We will also show how to e#ciently compute the required b # F p .
Density of Normal Elements
, 1997
"... Let f 2 F q [x] be a monic polynomial of degree n, and let \Phi(f ) denote the number of polynomials in F q [x] of degree ! n that are relatively prime to f . Let (f) = \Phi(f )=q . We slightly improve the previous known lower bounds of (f ). The density of normal elements in F q n over F q is (x ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
Let f 2 F q [x] be a monic polynomial of degree n, and let \Phi(f ) denote the number of polynomials in F q [x] of degree ! n that are relatively prime to f . Let (f) = \Phi(f )=q . We slightly improve the previous known lower bounds of (f ). The density of normal elements in F q n over F q is (x . We prove that (x where p i are any fixed primes, e i vary, and C is a constant independent of e i 's. Unfortunately, this is not true for general n. Indeed, we show an upper bound on (x \Gamma 1) for infinitely many values of n that goes to 0 as n approaches infinity. This upper bound is almost tight with our lower bound for a general polynomial f . 3 1
GIESBRECHT’S ALGORITHM, THE HFE CRYPTOSYSTEM AND ORE’S p sPOLYNOMIALS
"... We report on a recent implementation of Giesbrecht’s algorithm for factoring polynomials in a skewpolynomial ring. We also discuss the equivalence between factoring polynomials in a skewpolynomial ring and decomposing p spolynomials over a finite field, and how Giesbrecht’s algorithm is outlined ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
We report on a recent implementation of Giesbrecht’s algorithm for factoring polynomials in a skewpolynomial ring. We also discuss the equivalence between factoring polynomials in a skewpolynomial ring and decomposing p spolynomials over a finite field, and how Giesbrecht’s algorithm is outlined in some detail by Ore in the 1930’s. We end with some observations on the security of the Hidden Field Equation (HFE) cryptosystem, where ppolynomials play a central role. 1