E. , P. Let, and A. , The pseudo-group law is given by the following algorithms, We keep the same notations as the preceding section for Doubling Algorithm: Input: A point P = (x : z) in K (a:b) (k)

]. D. References-[-ber06 and . Bernstein, Curve25519: new Diffie-Hellman speed records, PKC 2006, pp.207-228, 2006.

C. Birkenhake and H. Lange, Complex abelian varieties, 2004.
DOI : 10.1007/978-3-662-06307-1

D. Bernstein and T. Lange, Faster Addition and Doubling on Elliptic Curves, Lecture Notes in Comput. Sci, vol.4833, pp.29-50, 2007.
DOI : 10.1007/978-3-540-76900-2_3

R. Carls, Theta null points of 2-adic canonical lifts. A preprint is available at http://arxiv.org/math, p.509092, 2005.

R. Carls, Canonical coordinates on the canonical lift, J. Ramanujan Math. Soc, vol.22, issue.1, pp.1-14, 2007.

D. V. Chudnovsky and G. V. Chudnovsky, Sequences of numbers generated by addition in formal groups and new primality and factorization tests, Advances in Applied Mathematics, vol.7, issue.4, pp.385-434, 1986.
DOI : 10.1016/0196-8858(86)90023-0

P. Gaudry, Fast genus 2 arithmetic based on Theta functions, Journal of Mathematical Cryptology, vol.1, issue.3, pp.243-265, 2007.
DOI : 10.1515/JMC.2007.012
URL : https://hal.archives-ouvertes.fr/inria-00000625

P. Gaudry and E. Thomé, The mpFq library and implementing curve-based key exchanges, SPEED: Software Performance Enhancement for Encryption and Decryption, pp.49-64, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00168429

J. Igusa, Theta functions, Die Grundlehren der mathematischen Wissenschaften, 0194.
DOI : 10.1007/978-3-642-65315-5

Y. Laszlo and C. Pauly, The action of the Frobenius map on rank $2$ vector bundles in characteristic $2$, Journal of Algebraic Geometry, vol.11, issue.2, pp.219-243, 2002.
DOI : 10.1090/S1056-3911-01-00310-1

Y. Laszlo and C. Pauly, The Frobenius map, rank 2 vector bundles and Kummer's quartic surface in characteristic 2 and 3, Advances in Mathematics, vol.185, issue.2, pp.246-269, 2004.
DOI : 10.1016/S0001-8708(03)00211-1

L. Moret-bailly, Pinceaux de variétés abéliennes Astérisque, Mum66] D. Mumford. On the equations defining abelian varieties, pp.266287-354, 1966.

D. Mumford, On the equations defining abelian varieties. II, Inventiones Mathematicae, vol.3, issue.2, pp.75-135, 1967.
DOI : 10.1007/BF01389741

D. Mumford, Abelian varieties, Tata Institute of Fundamental Research Studies in Mathematics, issue.5, 1970.

]. D. Mum83 and . Mumford, Tata lectures on theta I, volume 28 of Progress in Mathematics, With the assistance of C. Musili, M. Nori, E. Previato and M. Stillman, 1983.

M. Stam, On Montgomery-Like Representations for Elliptic Curves over GF(2k)
DOI : 10.1007/3-540-36288-6_18