Abstract
Kloosterman sums have recently become the focus of much research, most notably due to their applications in cryptography and their relations to coding theory.
Very recently Mesnager has showed that the value 4 of binary Kloosterman sums gives rise to several infinite classes of bent functions, hyper-bent functions and semi-bent functions in even dimension.
In this paper we analyze the different strategies used to find zeros of binary Kloosterman sums to develop and implement an algorithm to find the value 4 of such sums. We then present experimental results showing that the value 4 of binary Kloosterman sums gives rise to bent functions for small dimensions, a case with no mathematical solution so far.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Ahmadi, O., Granger, R.: An efficient deterministic test for Kloosterman sum zeros. CoRR abs/1104.3882 (2011)
Arndt, J.: Matters Computational: Ideas, Algorithms, Source Code. Springer, Heidelberg (2010), http://books.google.com/books?id=HsRHS6u7e80C
Blake, I.F., Seroussi, G., Smart, N.P.: Elliptic curves in cryptography. London Mathematical Society Lecture Note Series, vol. 265. Cambridge University Press, Cambridge (2000); reprint of the 1999 original
Bradshaw, R., Citro, C., Seljebotn, D.: Cython: the best of both worlds. In: CiSE 2011 Special Python Issue, vol. 25 (2010)
Brent, R.P., Gaudry, P., Thomé, E., Zimmermann, P.: Faster Multiplication in GF(2)[x]. In: van der Poorten, A.J., Stein, A. (eds.) ANTS-VIII 2008. LNCS, vol. 5011, pp. 153–166. Springer, Heidelberg (2008)
Carlet, C.: Boolean functions for cryptography and error correcting codes. In: Crama, Y., Hammer, P.L. (eds.) Boolean Models and Methods in Mathematics, Computer Science, and Engineering, pp. 257–397. Cambridge University Press (2010)
Charpin, P., Gong, G.: Hyperbent functions, Kloosterman sums, and Dickson polynomials. IEEE Transactions on Information Theory 54, 4230–4238 (2008)
Charpin, P., Helleseth, T., Zinoviev, V.: Divisibility properties of classical binary Kloosterman sums. Discrete Mathematics 309(12), 3975–3984 (2009)
Chee, S., Lee, S., Kim, K.: Semi-bent Functions. In: Safavi-Naini, R., Pieprzyk, J.P. (eds.) ASIACRYPT 1994. LNCS, vol. 917, pp. 107–118. Springer, Heidelberg (1995)
Cohen, H.: A course in computational algebraic number theory. Graduate Texts in Mathematics, vol. 138. Springer, Berlin (1993)
Cox, D.A.: Primes of the form x 2 + ny 2. A Wiley-Interscience Publication. John Wiley & Sons Inc., New York (1989); Fermat, class field theory and complex multiplication
Deuring, M.: Die Typen der Multiplikatorenringe elliptischer Funktionenkörper. Abh. Math. Sem. Hansischen Univ. 14, 197–272 (1941)
Dillon, J.F.: Elementary Hadamard Difference Sets. ProQuest LLC, Ann Arbor, MI, Thesis (Ph.D.)–University of Maryland, College Park (1974)
Dobbertin, H.: Construction of Bent Functions and Balanced Boolean Functions with High Nonlinearity. In: Preneel, B. (ed.) FSE 1994. LNCS, vol. 1008, pp. 61–74. Springer, Heidelberg (1995)
Dumas, J.G., Gautier, T., Giorgi, P., Roch, J.L., Villard, G.: Givaro-3.2.13rc1: C++ library for arithmetic and algebraic computations (September 2008), http://ljk.imag.fr/CASYS/LOGICIELS/givaro/
Enge, A.: Elliptic Curves and Their Applications to Cryptography: An Introduction, 1st edn. Springer, Heidelberg (1999)
Fouquet, M., Gaudry, P., Harley, R.: An extension of Satoh’s algorithm and its implementation. Journal of the Ramanujan Mathematical Society 15, 281–318 (2000)
Harley, R.: Asymptotically optimal p-adic point-counting. Email to NMBRTHRY list (December 2002), http://listserv.nodak.edu/cgi-bin/wa.exe?A2=ind0212&L=nmbrthry&T=0&P=1343
Helleseth, T., Zinoviev, V.: On linear Goethals codes and Kloosterman sums. Des. Codes Cryptography 17(1-3), 269–288 (1999)
Katz, N., Livné, R.: Sommes de Kloosterman et courbes elliptiques universelles en caractéristiques 2 et 3. C. R. Acad. Sci. Paris Sér. I Math. 309(11), 723–726 (1989)
Koblitz, N.: Constructing Elliptic Curve Cryptosystems in Characteristic 2. In: Menezes, A., Vanstone, S.A. (eds.) CRYPTO 1990. LNCS, vol. 537, pp. 156–167. Springer, Heidelberg (1991)
Lachaud, G., Wolfmann, J.: Sommes de Kloosterman, courbes elliptiques et codes cycliques en caractéristique 2. C. R. Acad. Sci. Paris Sér. I Math. 305, 881–883 (1987)
Lachaud, G., Wolfmann, J.: The weights of the orthogonals of the extended quadratic binary Goppa codes. IEEE Transactions on Information Theory 36, 686–692 (1990)
Lang, S.: Elliptic functions, 2nd edn. Graduate Texts in Mathematics, vol. 112. Springer, New York (1987); with an appendix by J. Tate
Leander, N.G.: Monomial bent functions. IEEE Transactions on Information Theory 52(2), 738–743 (2006)
Lercier, R., Lubicz, D., Vercauteren, F.: Point counting on elliptic and hyperelliptic curves. In: Handbook of Elliptic and Hyperelliptic Curve Cryptography. Discrete Math. Appl., pp. 407–453. Chapman & Hall/CRC, Boca Raton (2006)
Lisoněk, P.: On the Connection Between Kloosterman Sums and Elliptic Curves. In: Golomb, S.W., Parker, M.G., Pott, A., Winterhof, A. (eds.) SETA 2008. LNCS, vol. 5203, pp. 182–187. Springer, Heidelberg (2008)
Mesnager, S.: A New Family of Hyper-Bent Boolean Functions in Polynomial Form. In: Parker, M.G. (ed.) Cryptography and Coding 2009. LNCS, vol. 5921, pp. 402–417. Springer, Heidelberg (2009)
Mesnager, S.: A new class of bent and hyper-bent Boolean functions in polynomial forms. Des. Codes Cryptography 59, 265–279 (2011)
Mesnager, S.: Semi-bent functions from Dillon and Niho exponents, Kloosterman sums and Dickson polynomials. IEEE Transactions on Information Theory (to appear)
The PARI Group Bordeaux: PARI/GP, version 2.4.3 (October 2010), http://pari.math.u-bordeaux.fr/
Rothaus, O.S.: On ”bent” functions. J. Comb. Theory, Ser. A 20(3), 300–305 (1976)
Satoh, T.: The canonical lift of an ordinary elliptic curve over a finite field and its point counting. J. Ramanujan Math. Soc. 15(4), 247–270 (2000)
Schoof, R.: Nonsingular plane cubic curves over finite fields. J. Comb. Theory, Ser. A 46(2), 183–211 (1987)
Shoup, V.: NTL 5.4.2: A library for doing number theory (March 2008), www.shoup.net/ntl
Silverman, J.H.: The arithmetic of elliptic curves, 2nd edn. Graduate Texts in Mathematics, vol. 106. Springer, Dordrecht (2009), http://dx.doi.org/10.1007/978-0-387-09494-6
Stein, W., et al.: Sage Mathematics Software (Version 4.7). The Sage Development Team (2011), http://www.sagemath.org
Vercauteren, F.: Advances in point counting. In: Advances in elliptic curve cryptography. London Math. Soc. Lecture Note Ser. vol. 317, pp. 103–132. Cambridge Univ. Press, Cambridge (2005), http://dx.doi.org/10.1017/CBO9780511546570.008
Vercauteren, F.: Computing zeta functions of curves over finite fields. PhD thesis, Katholieke Universiteit Leuven (2003)
Waterhouse, W.C.: Abelian varieties over finite fields. Ann. Sci. École Norm. Sup. 2, 521–560 (1969)
Yeoh: GP/Pari implementation of point counting in characteristic 2, http://pages.cs.wisc.edu/~yeoh/nt/satoh-fgh.gp
Yu, N.Y., Gong, G.: Constructions of quadratic bent functions in polynomial forms. IEEE Transactions on Information Theory 52(7), 3291–3299 (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Flori, JP., Mesnager, S., Cohen, G. (2011). Binary Kloosterman Sums with Value 4. In: Chen, L. (eds) Cryptography and Coding. IMACC 2011. Lecture Notes in Computer Science, vol 7089. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-25516-8_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-25516-8_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-25515-1
Online ISBN: 978-3-642-25516-8
eBook Packages: Computer ScienceComputer Science (R0)