Efficient Secure Arithmetic on Floating Point Numbers. - Wakana Omori; Akira Kanaoka (NBiS, 2017)