High-precision Secure Computation of Satellite Collision Probabilities. - Brett Hemenway; Steve Lu 001; Rafail Ostrovsky; William Welser IV (IACR Cryptol. ePrint Arch., 2016)