This dissertation provides elementary facts about trace forms over finite fields of characteristic two in order to generalize some results concerning Gold functions. Then determines new set of maximal Artin-Schreier curves with possible pair of invariants, finds possible trace forms with specific co-dimemntion and provides a new family of binary sequences having low correlation values.

Although there is no natural internal product for hermitian forms over an algebra with involution of the first kind, we describe how tomultiply two ε-hermitian forms to obtain a quadratic form over the base field. This allows to define a commutative graded ring structure by taking together bilinear forms and ε-hermitian forms, which we call the mixedWitt ring of an algebra with involution. We also describe a less powerful version of this construction for unitary involutions, which still defines a ring, but with a grading over Z instead of the Klein group. We first describe a general framework for defining graded rings out of monoidal functors from monoidal categories with strong symmetry properties to categories of modules. We then give a description of such a strongly symmetric category Brₕ(K, ι) which encodes the usual hermitian Morita theory of algebras with involutions over a field K. We can therefore apply the general framework to Brₕ(K, ι) and theWitt group functors to define our mixed Witt rings, and derive their basic properties, including explicit formulas for products of diagonal forms in terms of involution trace forms, explicit computations for the case of quaternion algebras, and reciprocity formulas relative to scalar extensions. We intend to describe in future articles further properties of those rings, such as a λ-ring structure, and relations with theMilnor conjecture and the theory of signatures of hermitian forms.