{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T08:50:27Z","timestamp":1769763027954,"version":"3.49.0"},"reference-count":26,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2017,12,19]],"date-time":"2017-12-19T00:00:00Z","timestamp":1513641600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1319090"],"award-info":[{"award-number":["1319090"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000181","name":"Air Force Office of Scientific Research","doi-asserted-by":"publisher","award":["FA9550-13-1-0066"],"award-info":[{"award-number":["FA9550-13-1-0066"]}],"id":[{"id":"10.13039\/100000181","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Priv. Secur."],"published-print":{"date-parts":[[2018,5,31]]},"abstract":"<jats:p>Recent compilers allow a general-purpose program (written in a conventional programming language) that handles private data to be translated into a secure distributed implementation of the corresponding functionality. The resulting program is then guaranteed to provably protect private data using secure multi-party computation techniques. The goals of such compilers are generality, usability, and efficiency, but the complete set of features of a modern programming language has not been supported to date by the existing compilers. In particular, recent compilers PICCO and the two-party ANSI C compiler strive to translate any C program into its secure multi-party implementation, but they currently lack support for pointers and dynamic memory allocation, which are important components of many C programs. In this work, we mitigate the limitation and add support for pointers to private data and consequently dynamic memory allocation to the PICCO compiler, enabling it to handle a more diverse set of programs over private data. Because doing so opens up a new design space, we investigate the use of pointers to private data (with known as well as private locations stored in them) in programs and report our findings. Aside from dynamic memory allocation, we examine other important topics associated with common pointer use such as reference by pointer\/address, casting, and building various data structures in the context of secure multi-party computation. This results in enabling the compiler to automatically translate a user program that uses pointers to private data into its distributed implementation that provably protects private data throughout the computation. We empirically evaluate the constructions and report on the performance of representative programs.<\/jats:p>","DOI":"10.1145\/3154600","type":"journal-article","created":{"date-parts":[[2017,12,20]],"date-time":"2017-12-20T14:54:00Z","timestamp":1513781640000},"page":"1-34","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Implementing Support for Pointers to Private Data in a General-Purpose Secure Multi-Party Compiler"],"prefix":"10.1145","volume":"21","author":[{"given":"Yihua","family":"Zhang","sequence":"first","affiliation":[{"name":"University of Notre Dame, Notre Dame, IN, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marina","family":"Blanton","sequence":"additional","affiliation":[{"name":"University at Buffalo (SUNY), NY, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ghada","family":"Almashaqbeh","sequence":"additional","affiliation":[{"name":"Columbia University, New York, NY, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,12,19]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"GMP\u2014The GNU Multiple Precision Arithmetic Library. Retrieved from http:\/\/gmplib.org.  GMP\u2014The GNU Multiple Precision Arithmetic Library. Retrieved from http:\/\/gmplib.org."},{"key":"e_1_2_1_2_1","volume-title":"Proceedings of the Network 8 Distributed System Security Symposium (NDSS\u201913)","author":"Aliasgari Mehrdad","year":"2013","unstructured":"Mehrdad Aliasgari , Marina Blanton , Yihua Zhang , and Aaron Steele . 2013 . Secure computation on floating point numbers . In Proceedings of the Network 8 Distributed System Security Symposium (NDSS\u201913) . Mehrdad Aliasgari, Marina Blanton, Yihua Zhang, and Aaron Steele. 2013. Secure computation on floating point numbers. In Proceedings of the Network 8 Distributed System Security Symposium (NDSS\u201913)."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1455770.1455804"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88313-5_13"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-012-0177-2"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00468-1_10"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2810103.2813678"},{"key":"e_1_2_1_8_1","volume-title":"Proceedings of the Network and Distributed System Security Symposium (NDSS\u201915)","author":"Demmler D.","unstructured":"D. Demmler , T. Schneider , and M. Zohner . 2015. ABY -- A framework for efficient mixed-protocol secure two-party computation . In Proceedings of the Network and Distributed System Security Symposium (NDSS\u201915) . D. Demmler, T. Schneider, and M. Zohner. 2015. ABY -- A framework for efficient mixed-protocol secure two-party computation. In Proceedings of the Network and Distributed System Security Symposium (NDSS\u201915)."},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1866307.1866358"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2382196.2382278"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-45608-8_27"},{"key":"e_1_2_1_12_1","volume-title":"Proceedings of the Conference on Advances in Cryptology (EUROCRYPT\u201916)","author":"Kiss A.","unstructured":"A. Kiss and T. Schneider . 2016. Valiant\u2019s universal circuit is practical . In Proceedings of the Conference on Advances in Cryptology (EUROCRYPT\u201916) . 699--728. A. Kiss and T. Schneider. 2016. Valiant\u2019s universal circuit is practical. In Proceedings of the Conference on Advances in Cryptology (EUROCRYPT\u201916). 699--728."},{"key":"e_1_2_1_13_1","volume-title":"Proceedings of the USENIX Security Symposium. 321--336","author":"Kreuter Benjamin","year":"2013","unstructured":"Benjamin Kreuter , Abhi Shelat , Benjamin Mood , and Kevin Butler . 2013 . PCF: A portable circuit format for scalable two-party secure computation . In Proceedings of the USENIX Security Symposium. 321--336 . Benjamin Kreuter, Abhi Shelat, Benjamin Mood, and Kevin Butler. 2013. PCF: A portable circuit format for scalable two-party secure computation. In Proceedings of the USENIX Security Symposium. 321--336."},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2014.46"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2015.29"},{"key":"e_1_2_1_16_1","volume-title":"Proceedings of the USENIX Security Symposium.","author":"Malkhi Dahlia","year":"2004","unstructured":"Dahlia Malkhi , Noam Nisan , Benny Pinkas , and Yaron Sella . 2004 . Fairplay\u2014Secure two-party computation system . In Proceedings of the USENIX Security Symposium. Dahlia Malkhi, Noam Nisan, Benny Pinkas, and Yaron Sella. 2004. Fairplay\u2014Secure two-party computation system. In Proceedings of the USENIX Security Symposium."},{"key":"e_1_2_1_17_1","volume-title":"Proceedings of the Symposium on Theoretical Aspects of Computer Science (STACS\u201914)","author":"Mitchell John","year":"2014","unstructured":"John Mitchell and Joe Zimmerman . 2014 . Data-oblivious data structures . In Proceedings of the Symposium on Theoretical Aspects of Computer Science (STACS\u201914) . 554--565. John Mitchell and Joe Zimmerman. 2014. Data-oblivious data structures. In Proceedings of the Symposium on Theoretical Aspects of Computer Science (STACS\u201914). 554--565."},{"key":"e_1_2_1_18_1","volume-title":"Proceedings of the IEEE European Symposium on Security and Privacy (EuroS8P\u201916)","author":"Mood B.","unstructured":"B. Mood , D. Gupta , H. Carter , K. Butler , and P. Traynor . 2016. Frigate: A Validated, extensible, and efficient compiler and interpreter for secure computation . In Proceedings of the IEEE European Symposium on Security and Privacy (EuroS8P\u201916) . B. Mood, D. Gupta, H. Carter, K. Butler, and P. Traynor. 2016. Frigate: A Validated, extensible, and efficient compiler and interpreter for secure computation. In Proceedings of the IEEE European Symposium on Security and Privacy (EuroS8P\u201916)."},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/359168.359176"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2897937.2898027"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2015.32"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993806.1993859"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660267.2660314"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2013.40"},{"key":"e_1_2_1_25_1","unstructured":"Y. Zhang M. Blanton and G. Almashaqbeh. 2015. Implementing Support for Pointers to Private Data in a General-Purpose Secure Multi-Party Compiler. arXiv Report 1509.01763.  Y. Zhang M. Blanton and G. Almashaqbeh. 2015. Implementing Support for Pointers to Private Data in a General-Purpose Secure Multi-Party Compiler. arXiv Report 1509.01763."},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2508859.2516752"}],"container-title":["ACM Transactions on Privacy and Security"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3154600","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3154600","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3154600","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:11:27Z","timestamp":1750212687000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3154600"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12,19]]},"references-count":26,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2018,5,31]]}},"alternative-id":["10.1145\/3154600"],"URL":"https:\/\/doi.org\/10.1145\/3154600","relation":{},"ISSN":["2471-2566","2471-2574"],"issn-type":[{"value":"2471-2566","type":"print"},{"value":"2471-2574","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,12,19]]},"assertion":[{"value":"2016-12-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-10-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-12-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}