{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,3]],"date-time":"2026-06-03T22:59:09Z","timestamp":1780527549769,"version":"3.54.1"},"reference-count":74,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,5,1]],"date-time":"2022-05-01T00:00:00Z","timestamp":1651363200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-009"},{"start":{"date-parts":[[2022,5,1]],"date-time":"2022-05-01T00:00:00Z","timestamp":1651363200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-001"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,5]]},"DOI":"10.1109\/sp46214.2022.9833697","type":"proceedings-article","created":{"date-parts":[[2022,7,27]],"date-time":"2022-07-27T15:28:05Z","timestamp":1658935685000},"page":"576-595","source":"Crossref","is-referenced-by-count":44,"title":["SecFloat: Accurate Floating-Point meets Secure 2-Party Computation"],"prefix":"10.1109","author":[{"given":"Deevashwer","family":"Rathee","sequence":"first","affiliation":[{"name":"UC Berkeley"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Anwesh","family":"Bhattacharya","sequence":"additional","affiliation":[{"name":"Microsoft Research"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rahul","family":"Sharma","sequence":"additional","affiliation":[{"name":"Microsoft Research"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Divya","family":"Gupta","sequence":"additional","affiliation":[{"name":"Microsoft Research"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nishanth","family":"Chandran","sequence":"additional","affiliation":[{"name":"Microsoft Research"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Aseem","family":"Rastogi","sequence":"additional","affiliation":[{"name":"Microsoft Research"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-88238-9_21"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243760"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-21568-2_25"},{"key":"ref56","article-title":"Delphi: A Cryptographic Inference Service for Neural Networks","author":"mishra","year":"2020","journal-title":"Usenix Security"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1155\/2018\/2363928"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1155\/2020\/1250295"},{"key":"ref14","article-title":"Fully homomorphic encryption for point numbers","author":"arita","year":"2016","journal-title":"Inscrypt Ser Lecture Notes in Computer Science"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2017.12"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134056"},{"key":"ref52","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-57048-8_6","article-title":"How to simulate it -- a tutorial on the simulation proof technique","author":"lindell","year":"2017","journal-title":"Tutorials on the Foundations of Cryptography"},{"key":"ref11","article-title":"Secure computation on floating point numbers","author":"aliasgari","year":"2013","journal-title":"NDSS"},{"key":"ref55","doi-asserted-by":"crossref","DOI":"10.1016\/j.procs.2013.09.091","article-title":"Floating point arithmetic protocols for constructing secure data analysis application","author":"liu","year":"2013","journal-title":"KES ser Procedia Computer Science"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-016-0350-0"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2016.2585121"},{"key":"ref17","article-title":"MP2ML: a mixed-protocol machine learning framework for private inference","author":"boemer","year":"2020","journal-title":"ARES"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/MARK.1979.8817296"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/s001459910006"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3354255"},{"key":"ref51","article-title":"RLIBM-32: high performance correctly rounded math libraries for 32-bit floating point representations","author":"lim","year":"2021","journal-title":"PLDI"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/3158135"},{"key":"ref46","article-title":"Hybrid model of fixed and floating point numbers in secure multiparty computations","author":"krips","year":"2014","journal-title":"ISC"},{"key":"ref45","article-title":"CrypTen: Secure multi-party computation meets machine learning","author":"knott","year":"2021","journal-title":"NeurIPS"},{"key":"ref48","author":"lang","year":"2016","journal-title":"OpenLibm"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00092"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/3372297.3417872"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-014-0271-8"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1186\/s12920-020-0722-1"},{"key":"ref43","article-title":"Optimizing MPC for robust and scalable integer and floating-point arithmetic","author":"kerik","year":"2016","journal-title":"Financial Cryptography Workshops"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908107"},{"key":"ref8","year":"2021","journal-title":"Multi-party Computation of Ads on the Web (MaCAW)"},{"key":"ref7","year":"2021","journal-title":"Intel® oneAPI Math Kernel Library Vector Mathematics Performance and Accuracy Data"},{"key":"ref9","year":"2021","journal-title":"Multi-Protocol SPDZ Versatile framework for multi-party computation (accessed May 2021)"},{"key":"ref4","year":"2021","journal-title":"Dovekey auction using Secure Multi Party Computation (MPC)"},{"key":"ref3","author":"standard for floating-point arithmetic","year":"2019","journal-title":"IEEE Std 754-2019 (Revision of IEEE 754-2008)"},{"key":"ref6","year":"2021","journal-title":"Intel®C++Compiler Classic Developer Guide and Reference"},{"key":"ref5","year":"2021","journal-title":"CrypTFlow An End-to-end System for Secure TensorFlow Inference"},{"key":"ref40","article-title":"Extending Oblivious Transfers Efficiently","author":"ishai","year":"0","journal-title":"CRYPTO 2003"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008712907154"},{"key":"ref34","article-title":"How to Play any Mental Game or A Completeness Theorem for Protocols with Honest Majority","author":"goldreich","year":"1987","journal-title":"ACM STOC"},{"key":"ref37","author":"hauser","year":"2018","journal-title":"Berkeley softfloat (release 3e)"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-40922-X_14"},{"key":"ref31","article-title":"Improved Primitives for MPC over Mixed Arithmetic-Binary Circuits","author":"escudero","year":"2020","journal-title":"Crypto"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978348"},{"key":"ref74","article-title":"Query with SUM aggregate function on encrypted floating-point numbers in cloud","volume":"13","author":"zhu","year":"2017","journal-title":"J Inf Process Syst"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/103162.103163"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/1236463.1236468"},{"key":"ref2","year":"2016","journal-title":"EMP-toolkit Efficient multiparty computation toolkit"},{"key":"ref1","year":"2015","journal-title":"ABY - A Framework for Efficient Mixed-protocol Secure Two-party Computation"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/2382196.2382278"},{"key":"ref38","article-title":"High-precision secure computation of satellite collision probabilities","author":"hemenway","year":"2016","journal-title":"SCN"},{"key":"ref71","author":"xilinx","year":"2015","journal-title":"Vivado Design Suite User Guide High-Level Synthesis"},{"key":"ref70","article-title":"Privacy-preserving distance computation and proximity testing on earth, done right","author":"sed\u00e7enka","year":"2014","journal-title":"ASIACCS"},{"key":"ref73","article-title":"How to Generate and Exchange Secrets (Extended Abstract)","author":"yao","year":"1986","journal-title":"FOCS"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1145\/3372297.3417276"},{"key":"ref24","article-title":"Secure Computation for Machine Learning With SPDZ","author":"chen","year":"2018","journal-title":"NeurIPS Workshop on Privacy Preserving Machine Learning"},{"key":"ref68","article-title":"Virtues of the Haversine","volume":"68","author":"sinnott","year":"1984","journal-title":"Sky Telesc"},{"key":"ref23","article-title":"SIMC: ML inference secure against malicious clients at Semi-Honest cost","author":"chandran","year":"2022","journal-title":"Usenix Security"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1145\/359168.359176"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-84252-9_17"},{"key":"ref25","author":"cody","year":"1980","journal-title":"Software Manual for the Elementary Functions (Prentice-Hall Series in Computational Mathematics)"},{"key":"ref69","author":"sterbenz","year":"1974","journal-title":"Floating-point computation ser Prentice-Hall series in automatic computation"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICComm.2018.8484794"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1145\/3372297.3417274"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1109\/SP40001.2021.00086"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/COMM48946.2020.9141961"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2018.8465894"},{"key":"ref21","article-title":"Evaluation of floating-point arithmetic protocols based on shamir secret sharing","author":"catrina","year":"2019","journal-title":"ICETE (Selected Papers)"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(75)90022-8"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2015.23113"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2810103.2813678"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2017.23097"},{"key":"ref60","article-title":"ABY2.0: improved mixed-protocol secure two-party computation","author":"patra","year":"2021","journal-title":"Usenix Security"},{"key":"ref62","author":"rathee","year":"2022","journal-title":"Secfloat Accurate floating-point meets secure 2-party computation (full version)"},{"key":"ref61","article-title":"Combining secret sharing and garbled circuits for efficient private IEEE 754 floating-point computations","author":"pullonen","year":"2015","journal-title":"Financial Cryptography Workshops"}],"event":{"name":"2022 IEEE Symposium on Security and Privacy (SP)","location":"San Francisco, CA, USA","start":{"date-parts":[[2022,5,22]]},"end":{"date-parts":[[2022,5,26]]}},"container-title":["2022 IEEE Symposium on Security and Privacy (SP)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9833550\/9833558\/09833697.pdf?arnumber=9833697","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,8]],"date-time":"2023-11-08T18:14:14Z","timestamp":1699467254000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9833697\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5]]},"references-count":74,"URL":"https:\/\/doi.org\/10.1109\/sp46214.2022.9833697","relation":{},"subject":[],"published":{"date-parts":[[2022,5]]}}}