Registration: The Secrecy Proofs -- Algorithms, Datastructures, and other Issues in