"Implementing the Tate pairing." Algorithmic Number Theory, Lecture Note in Computer Science 2369 (2002).