{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T09:28:43Z","timestamp":1743154123891,"version":"3.40.3"},"publisher-location":"Singapore","reference-count":42,"publisher":"Springer Nature Singapore","isbn-type":[{"type":"print","value":"9789819609536"},{"type":"electronic","value":"9789819609543"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-981-96-0954-3_1","type":"book-chapter","created":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T17:50:21Z","timestamp":1738345821000},"page":"3-22","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["SecFloatPlus: More Accurate Floating-Point Meets Secure Two-Party Computation"],"prefix":"10.1007","author":[{"given":"Tao","family":"Huang","sequence":"first","affiliation":[]},{"given":"Jian","family":"Weng","sequence":"additional","affiliation":[]},{"given":"Jiasi","family":"Weng","sequence":"additional","affiliation":[]},{"given":"Minrong","family":"Chen","sequence":"additional","affiliation":[]},{"given":"Ming","family":"Li","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,2,1]]},"reference":[{"key":"1_CR1","doi-asserted-by":"publisher","unstructured":"IEEE standard for floating-point arithmetic: IEEE Std 754\u20132008, pp. 1\u201370 (2008). https:\/\/doi.org\/10.1109\/IEEESTD.2008.4610935","DOI":"10.1109\/IEEESTD.2008.4610935"},{"key":"1_CR2","unstructured":"Aliasgari, M., Blanton, M., Zhang, Y., Steele, A.: Secure computation on floating point numbers. In: 20th Annual Network and Distributed System Security Symposium, NDSS 2013, San Diego, California, USA, 24\u201327 February 2013. The Internet Society (2013). https:\/\/www.ndss-symposium.org\/ndss2013\/secure-computation-floating-point-numbers"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Archer, D.W., Atapoor, S., Smart, N.P.: The cost of IEEE arithmetic in secure computation. In: International Conference on Cryptology and Information Security in Latin America, pp. 431\u2013452. Springer (2021)","DOI":"10.1007\/978-3-030-88238-9_21"},{"key":"1_CR4","doi-asserted-by":"publisher","unstructured":"Blanton, M., Goodrich, M.T., Yuan, C.: Secure and accurate summation of many floating-point numbers. Proc. Priv. Enhanc. Technol. 2023(3), 432\u2013445 (2023). https:\/\/doi.org\/10.56553\/POPETS-2023-0090","DOI":"10.56553\/POPETS-2023-0090"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Br\u00fcggemann, A., Hundt, R., Schneider, T., Suresh, A., Yalame, H.: Flute: fast and secure lookup table evaluations. In: Proceedings of IEEE S &P, pp. 515\u2013533. IEEE (2023)","DOI":"10.1109\/SP46215.2023.10179345"},{"key":"1_CR6","unstructured":"Burrus, C.S., Fox, J.W., Sitton, G.A., Treitel, S.: Horner\u2019s method for evaluating and deflating polynomials. DSP Software Notes, Rice University (2003)"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Catrina, O.: Evaluation of floating-point arithmetic protocols based on Shamir secret sharing. In: E-Business and Telecommunications: 16th International Conference, ICETE 2019, Prague, Czech Republic, 26\u201328 July 2019, Revised Selected Papers 16, pp. 108\u2013131. Springer (2020)","DOI":"10.1007\/978-3-030-52686-3_5"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Catrina, O.: Performance analysis of secure floating-point sums and dot products. In: 2020 13th International Conference on Communications (COMM), pp. 465\u2013470. IEEE (2020)","DOI":"10.1109\/COMM48946.2020.9141961"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Catrina, O.: Complexity and performance of secure floating-point polynomial evaluation protocols. In: Computer Security\u2013ESORICS 2021: 26th European Symposium on Research in Computer Security, Darmstadt, Germany, 4\u20138 October 2021, Proceedings, Part II 26, pp. 352\u2013369. Springer (2021)","DOI":"10.1007\/978-3-030-88428-4_18"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Catrina, O., Dragulin, C.: Multiparty computation of fixed-point multiplication and reciprocal. In: 2009 20th International Workshop on Database and Expert Systems Application, pp. 107\u2013111. IEEE (2009)","DOI":"10.1109\/DEXA.2009.84"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Catrina, O., Saxena, A.: Secure computation with fixed-point numbers. In: Financial Cryptography and Data Security: 14th International Conference, FC 2010, Tenerife, Canary Islands, 25\u201328 January 2010, Revised Selected Papers 14, pp. 35\u201350. Springer (2010)","DOI":"10.1007\/978-3-642-14577-3_6"},{"key":"1_CR12","unstructured":"Cody, W.J.: Software Manual for the Elementary Functions. Prentice-Hall Series in Computational Mathematics. Prentice-Hall, Inc. (1980)"},{"key":"1_CR13","doi-asserted-by":"publisher","unstructured":"Demmler, D., Dessouky, G., Koushanfar, F., Sadeghi, A.R., Schneider, T., Zeitouni, S.: Automated synthesis of optimized circuits for secure computation. In: Proceedings of ACM CCS, pp. 1504\u20131517. Association for Computing Machinery (2015). https:\/\/doi.org\/10.1145\/2810103.2813678","DOI":"10.1145\/2810103.2813678"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Dimitrov, V., Kerik, L., Krips, T., Randmets, J., Willemson, J.: Alternative implementations of secure real numbers. In: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, pp. 553\u2013564 (2016)","DOI":"10.1145\/2976749.2978348"},{"issue":"1","key":"1_CR15","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1137\/S0036144595293959","volume":"39","author":"A Edelman","year":"1997","unstructured":"Edelman, A.: The mathematics of the pentium division bug. SIAM Rev. 39(1), 54\u201367 (1997)","journal-title":"SIAM Rev."},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Evans, D., Kolesnikov, V., Rosulek, M., et\u00a0al.: A pragmatic introduction to secure multi-party computation. Found. Trends\u00ae Priv. Secur. 2(2-3), 70\u2013246 (2018)","DOI":"10.1561\/3300000019"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Fouque, P.A., Stern, J., Wackers, G.J.: Cryptocomputing with rationals. In: International Conference on Financial Cryptography, pp. 136\u2013146. Springer (2002)","DOI":"10.1007\/3-540-36504-4_10"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"Franz, M., Deiseroth, B., Hamacher, K., Jha, S., Katzenbeisser, S., Schr\u00f6der, H.: Secure computations on non-integer values. In: 2010 IEEE International Workshop on Information Forensics and Security, pp.\u00a01\u20136. IEEE (2010)","DOI":"10.1109\/WIFS.2010.5711458"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Franz, M., Katzenbeisser, S.: Processing encrypted floating point signals. In: Proceedings of the Thirteenth ACM Multimedia Workshop on Multimedia and Security, pp. 103\u2013108 (2011)","DOI":"10.1145\/2037252.2037271"},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"Goldreich, O., Micali, S., Wigderson, A.: How to play any mental game, or a completeness theorem for protocols with honest majority. In: Providing Sound Foundations for Cryptography: On the Work of Shafi Goldwasser and Silvio Micali, pp. 307\u2013328 (2019)","DOI":"10.1145\/3335741.3335759"},{"key":"1_CR21","unstructured":"Granlund, T., Sj\u00f6din, G., Stallman, R., Riesel, H., Beuning, B., et\u00a0al.: The gnu multiple precision arithmetic library (2020). https:\/\/gmplib.org\/"},{"key":"1_CR22","unstructured":"Hanrot, G., Zimmermann, P., Lef\u00e8vre, V., P\u00e9lissier, P., Th\u00e9veny, P., et\u00a0al.: The gnu MPFR library (2023). https:\/\/www.mpfr.org\/"},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"Hazay, C., Lindell, Y.: Efficient Secure Two-Party Protocols: Techniques and constructions. Springer, Heidelberg (2010)","DOI":"10.1007\/978-3-642-14303-8"},{"key":"1_CR24","unstructured":"Hendrycks, D., Gimpel, K.: Gaussian error linear units (GELUs). arXiv preprint arXiv:1606.08415 (2016)"},{"key":"1_CR25","unstructured":"Intel Corporation: Intel\u00ae oneAPI math kernel library (oneMKL) (2024). https:\/\/www.intel.com\/content\/www\/us\/en\/developer\/tools\/oneapi\/onemkl.html"},{"issue":"6","key":"1_CR26","doi-asserted-by":"publisher","first-page":"531","DOI":"10.1007\/s10207-014-0271-8","volume":"14","author":"L Kamm","year":"2015","unstructured":"Kamm, L., Willemson, J.: Secure floating point arithmetic and private satellite collision analysis. Int. J. Inf. Secur. 14(6), 531\u2013548 (2015)","journal-title":"Int. J. Inf. Secur."},{"issue":"1","key":"1_CR27","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1109\/TIT.1983.1056621","volume":"29","author":"E Karnin","year":"1983","unstructured":"Karnin, E., Greene, J., Hellman, M.: On secret sharing systems. IEEE Trans. Inf. Theory 29(1), 35\u201341 (1983). https:\/\/doi.org\/10.1109\/TIT.1983.1056621","journal-title":"IEEE Trans. Inf. Theory"},{"key":"1_CR28","doi-asserted-by":"crossref","unstructured":"Kerik, L., Laud, P., Randmets, J.: Optimizing MPC for robust and scalable integer and floating-point arithmetic. In: Financial Cryptography and Data Security: FC 2016 International Workshops, BITCOIN, VOTING, and WAHC, Christ Church, Barbados, 26 February 2016, Revised Selected Papers 20, pp. 271\u2013287. Springer (2016)","DOI":"10.1007\/978-3-662-53357-4_18"},{"key":"1_CR29","doi-asserted-by":"crossref","unstructured":"Le\u00a0Lann, G.: An analysis of the Ariane 5 flight 501 failure-a system engineering perspective. In: Proceedings International Conference and Workshop on Engineering of Computer-Based Systems, pp. 339\u2013346. IEEE (1997)","DOI":"10.1109\/ECBS.1997.581900"},{"key":"1_CR30","doi-asserted-by":"crossref","unstructured":"Lim, J.P., Nagarakatte, S.: High performance correctly rounded math libraries for 32-bit floating point representations. In: Proceedings of PLDI, pp. 359\u2013374 (2021)","DOI":"10.1145\/3453483.3454049"},{"issue":"1","key":"1_CR31","first-page":"1049","volume":"45","author":"S McKinley","year":"1998","unstructured":"McKinley, S., Levine, M.: Cubic spline interpolation. Coll. Redwoods 45(1), 1049\u20131060 (1998)","journal-title":"Coll. Redwoods"},{"key":"1_CR32","unstructured":"Rathee, D., Bhattacharya, A., Gupta, D., Sharma, R., Song, D.: Secure floating-point training. In: 32nd USENIX Security Symposium (USENIX Security 23), pp. 6329\u20136346 (2023)"},{"key":"1_CR33","doi-asserted-by":"crossref","unstructured":"Rathee, D., Bhattacharya, A., Sharma, R., Gupta, D., Chandran, N., Rastogi, A.: SecFloat: accurate floating-point meets secure 2-party computation. In: Proceedings of IEEE S &P, pp. 576\u2013595 (2022)","DOI":"10.1109\/SP46214.2022.9833697"},{"key":"1_CR34","doi-asserted-by":"crossref","unstructured":"Rathee, D., et al.: SIRNN: a math library for secure RNN inference. In: Proceedings of IEEE S &P, pp. 1003\u20131020. IEEE (2021)","DOI":"10.1109\/SP40001.2021.00086"},{"key":"1_CR35","doi-asserted-by":"crossref","unstructured":"Rathee, D., et al.: CryptFlow2: practical 2-party secure inference. In: Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security, pp. 325\u2013342 (2020)","DOI":"10.1145\/3372297.3417274"},{"key":"1_CR36","unstructured":"Rathee, D., Rathee, M., Kumar, N., et\u00a0al.: Ezpc (2022). https:\/\/github.com\/mpc-msri\/EzPC"},{"key":"1_CR37","doi-asserted-by":"crossref","unstructured":"Sibidanov, A., Zimmermann, P., Glondu, S.: The CORE-MATH project. In: 2022 IEEE 29th Symposium on Computer Arithmetic (ARITH), pp. 26\u201334. IEEE (2022)","DOI":"10.1109\/ARITH54963.2022.00014"},{"issue":"2","key":"1_CR38","first-page":"158","volume":"68","author":"RW Sinnott","year":"1984","unstructured":"Sinnott, R.W.: Virtues of the haversine. Sky Telesc. 68(2), 158 (1984)","journal-title":"Sky Telesc."},{"key":"1_CR39","volume-title":"Introduction to Geodesy: The History and Concepts of Modern Geodesy","author":"JR Smith","year":"1997","unstructured":"Smith, J.R.: Introduction to Geodesy: The History and Concepts of Modern Geodesy, vol. 1. Wiley, Hoboken (1997)"},{"key":"1_CR40","unstructured":"Vaswani, A., et al.: Attention is all you need. In: Advances in Neural Information Processing Systems, vol. 30 (2017)"},{"key":"1_CR41","doi-asserted-by":"publisher","unstructured":"\u0160ed\u011bnka, J., Gasti, P.: Privacy-preserving distance computation and proximity testing on earth, done right. In: Proceedings of ACM CCS, ASIA CCS 2014, pp. 99\u2013110. Association for Computing Machinery (2014). https:\/\/doi.org\/10.1145\/2590296.2590307","DOI":"10.1145\/2590296.2590307"},{"key":"1_CR42","doi-asserted-by":"publisher","unstructured":"Yao, A.C.C.: How to generate and exchange secrets. In: 27th Annual Symposium on Foundations of Computer Science (SFCS 1986), pp. 162\u2013167 (1986). https:\/\/doi.org\/10.1109\/SFCS.1986.25","DOI":"10.1109\/SFCS.1986.25"}],"container-title":["Lecture Notes in Computer Science","Provable and Practical Security"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-96-0954-3_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T17:50:46Z","timestamp":1738345846000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-96-0954-3_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9789819609536","9789819609543"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/978-981-96-0954-3_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"1 February 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ProvSec","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Provable Security","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Gold Coast, QLD","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Australia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 September 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 September 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"provsec2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/provsec2024.github.io\/ProvSec2024\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}