[Resource Topic] 2013/850: Secure Floating-Point Arithmetic and Private Satellite Collision Analysis

Welcome to the resource topic for 2013/850

Title:
Secure Floating-Point Arithmetic and Private Satellite Collision Analysis

Authors: Liina Kamm, Jan Willemson

Abstract:

In this paper we show that it is possible and, indeed, feasible to use secure multiparty computation for calculating the probability of a collision between two satellites. For this purpose, we first describe basic floating-point arithmetic operators (addition and multiplication) for multiparty computations. The operators are implemented on the SHAREMIND secure multiparty computation engine. We discuss the implementation details, provide methods for evaluating example elementary functions (inverse, square root, exponentiation of e, error function). Using these primitives, we implement a satellite conjunction analysis algorithm and give benchmark results for the primitives as well as the conjunction analysis itself.

ePrint: https://eprint.iacr.org/2013/850

See all topics related to this paper.

Feel free to post resources that are related to this paper below.

Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.

For more information, see the rules for Resource Topics .