{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,8]],"date-time":"2026-04-08T16:23:22Z","timestamp":1775665402862,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":41,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,11,7]],"date-time":"2022-11-07T00:00:00Z","timestamp":1667779200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,11,11]]},"DOI":"10.1145\/3560830.3563729","type":"proceedings-article","created":{"date-parts":[[2022,11,2]],"date-time":"2022-11-02T22:32:41Z","timestamp":1667428361000},"page":"33-44","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["PROV-FL: Privacy-preserving Round Optimal Verifiable Federated Learning"],"prefix":"10.1145","author":[{"given":"Vishnu Asutosh","family":"Dasu","sequence":"first","affiliation":[{"name":"The Pennsylvania State University, State College, PA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sumanta","family":"Sarkar","sequence":"additional","affiliation":[{"name":"University of Warwick, Coventry, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kalikinkar","family":"Mandal","sequence":"additional","affiliation":[{"name":"University of New Brunswick, Fredericton, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,11,7]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978318"},{"key":"e_1_3_2_2_2_1","volume-title":"Advances in Cryptology -- CRYPTO","author":"Abdalla Michel","year":"2019","unstructured":"Michel Abdalla , Dario Catalano , Dario Fiore , Romain Gay , and Bogdan Ursu . 2018. Multi-Input Functional Encryption for Inner Products: Function-Hiding Realizations and Constructions Without Pairings . In Advances in Cryptology -- CRYPTO 2019 , , Hovav Shacham and Alexandra Boldyreva (Eds.). Springer International Publishing , Cham, 597--627. Michel Abdalla, Dario Catalano, Dario Fiore, Romain Gay, and Bogdan Ursu. 2018. Multi-Input Functional Encryption for Inner Products: Function-Hiding Realizations and Constructions Without Pairings. In Advances in Cryptology -- CRYPTO 2019, , Hovav Shacham and Alexandra Boldyreva (Eds.). Springer International Publishing, Cham, 597--627."},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3339819"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/s13389-013-0057-3"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3372297.3417885"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00145-016-9229-5"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2873069"},{"key":"e_1_3_2_2_8_1","volume-title":"13th International Conference, FC 2009 (Lecture Notes in Computer Science","volume":"343","author":"Bogetoft Peter","year":"2009","unstructured":"Peter Bogetoft , Dan Lund Christensen , Ivan Damg\u00e5rd , Martin Geisler , Thomas P. Jakobsen , Mikkel Kr\u00f8igaard , Janus Dam Nielsen , Jesper Buus Nielsen , Kurt Nielsen , Jakob Pagter , Michael I. Schwartzbach , and Tomas Toft . 2009 . Secure Multiparty Computation Goes Live. In Financial Cryptography and Data Security , 13th International Conference, FC 2009 (Lecture Notes in Computer Science , Vol. 5628), , Roger Dingledine and Philippe Golle (Eds.). Springer, 325-- 343 . Peter Bogetoft, Dan Lund Christensen, Ivan Damg\u00e5rd, Martin Geisler, Thomas P. Jakobsen, Mikkel Kr\u00f8igaard, Janus Dam Nielsen, Jesper Buus Nielsen, Kurt Nielsen, Jakob Pagter, Michael I. Schwartzbach, and Tomas Toft. 2009. Secure Multiparty Computation Goes Live. In Financial Cryptography and Data Security, 13th International Conference, FC 2009 (Lecture Notes in Computer Science, Vol. 5628), , Roger Dingledine and Philippe Golle (Eds.). Springer, 325--343."},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3133982"},{"key":"e_1_3_2_2_10_1","volume-title":"Proceedings of the 18th ACM Conference on Computer and Communications Security, CCS, , Yan Chen, George Danezis, and Vitaly Shmatikov (Eds.). ACM, 501--514","author":"Bowers Kevin D.","unstructured":"Kevin D. Bowers , Marten van Dijk , Ari Juels , Alina Oprea , and Ronald L. Rivest . 2011. How to tell if your cloud files are vulnerable to drive crashes . In Proceedings of the 18th ACM Conference on Computer and Communications Security, CCS, , Yan Chen, George Danezis, and Vitaly Shmatikov (Eds.). ACM, 501--514 . Kevin D. Bowers, Marten van Dijk, Ari Juels, Alina Oprea, and Ronald L. Rivest. 2011. How to tell if your cloud files are vulnerable to drive crashes. In Proceedings of the 18th ACM Conference on Computer and Communications Security, CCS, , Yan Chen, George Danezis, and Vitaly Shmatikov (Eds.). ACM, 501--514."},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.2478\/popets-2020-0036"},{"key":"e_1_3_2_2_12_1","volume-title":"Privacy-Preserving Stream Aggregation with Fault Tolerance","author":"Hubert Chan T. H.","unstructured":"T. H. Hubert Chan , Elaine Shi , and Dawn Song . 2012. Privacy-Preserving Stream Aggregation with Fault Tolerance . In Financial Cryptography and Data Security, Angelos D. Keromytis (Ed.). Springer Berlin Heidelberg , Berlin, Heidelberg , 200--214. T. H. Hubert Chan, Elaine Shi, and Dawn Song. 2012. Privacy-Preserving Stream Aggregation with Fault Tolerance. In Financial Cryptography and Data Security, Angelos D. Keromytis (Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg, 200--214."},{"key":"e_1_3_2_2_14_1","volume-title":"Public Key Cryptography,","author":"Damg\u00e5rd Ivan","unstructured":"Ivan Damg\u00e5rd and Mads Jurik . 2001. A Generalisation , a Simplification and Some Applications of Paillier's Probabilistic Public-Key System . In Public Key Cryptography, , Kwangjo Kim (Ed.). Springer , Berlin, Heidelberg , 119--136. Ivan Damg\u00e5rd and Mads Jurik. 2001. A Generalisation, a Simplification and Some Applications of Paillier's Probabilistic Public-Key System. In Public Key Cryptography, , Kwangjo Kim (Ed.). Springer, Berlin, Heidelberg, 119--136."},{"key":"e_1_3_2_2_15_1","volume-title":"Nigel Smart, and Sarah Zakarias","author":"Damg\u00e5rd Ivan","year":"2012","unstructured":"Ivan Damg\u00e5rd , Valerio Pastro , Nigel Smart, and Sarah Zakarias . 2012 . Multiparty Computation from Somewhat Homomorphic Encryption. In Advances in Cryptology -- CRYPTO 2012, Reihaneh Safavi-Naini and Ran Canetti (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg, 643--662. Ivan Damg\u00e5rd, Valerio Pastro, Nigel Smart, and Sarah Zakarias. 2012. Multiparty Computation from Somewhat Homomorphic Encryption. In Advances in Cryptology -- CRYPTO 2012, Reihaneh Safavi-Naini and Ran Canetti (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 643--662."},{"key":"e_1_3_2_2_16_1","first-page":"3","article-title":"The Algorithmic Foundations of Differential Privacy","volume":"9","author":"Dwork Cynthia","year":"2014","unstructured":"Cynthia Dwork and Aaron Roth . 2014 . The Algorithmic Foundations of Differential Privacy . Found. Trends Theor. Comput. Sci. , Vol. 9 , 3 -- 4 (Aug. 2014), 211--407. Cynthia Dwork and Aaron Roth. 2014. The Algorithmic Foundations of Differential Privacy. Found. Trends Theor. Comput. Sci. , Vol. 9, 3--4 (Aug. 2014), 211--407.","journal-title":"Found. Trends Theor. Comput. Sci."},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2810103.2813677"},{"key":"e_1_3_2_2_18_1","volume-title":"Chiron: Privacy-preserving Machine Learning as a Service. CoRR","author":"Hunt Tyler","year":"2018","unstructured":"Tyler Hunt , Congzheng Song , Reza Shokri , Vitaly Shmatikov , and Emmett Witchel . 2018 . Chiron: Privacy-preserving Machine Learning as a Service. CoRR , Vol. abs\/ 1803 .05961 (2018). showeprint[arXiv]1803.05961 Tyler Hunt, Congzheng Song, Reza Shokri, Vitaly Shmatikov, and Emmett Witchel. 2018. Chiron: Privacy-preserving Machine Learning as a Service. CoRR , Vol. abs\/1803.05961 (2018). showeprint[arXiv]1803.05961"},{"key":"e_1_3_2_2_19_1","volume-title":"Financial Cryptography and Data Security, , Ahmad-Reza Sadeghi (Ed.)","author":"Joye Marc","unstructured":"Marc Joye and Beno\u00eet Libert . 2013. A Scalable Scheme for Privacy-Preserving Aggregation of Time-Series Data . In Financial Cryptography and Data Security, , Ahmad-Reza Sadeghi (Ed.) . Springer Berlin Heidelberg , Berlin, Heidelberg , 111--125. Marc Joye and Beno\u00eet Libert. 2013. A Scalable Scheme for Privacy-Preserving Aggregation of Time-Series Data. In Financial Cryptography and Data Security, , Ahmad-Reza Sadeghi (Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg, 111--125."},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.compag.2021.106285"},{"key":"e_1_3_2_2_21_1","unstructured":"Yann LeCun and Corinna Cortes. 2010. MNIST handwritten digit database. http:\/\/yann.lecun.com\/exdb\/mnist\/. (2010).  Yann LeCun and Corinna Cortes. 2010. MNIST handwritten digit database. http:\/\/yann.lecun.com\/exdb\/mnist\/. (2010)."},{"key":"e_1_3_2_2_22_1","volume-title":"Private and Dynamic Time-Series Data Aggregation with Trust Relaxation","author":"Leontiadis Iraklis","unstructured":"Iraklis Leontiadis , Kaoutar Elkhiyaoui , and Refik Molva . 2014. Private and Dynamic Time-Series Data Aggregation with Trust Relaxation . In Cryptology and Network Security, Dimitris Gritzalis, Aggelos Kiayias, and Ioannis Askoxylakis (Eds.). Springer International Publishing , Cham , 305--320. Iraklis Leontiadis, Kaoutar Elkhiyaoui, and Refik Molva. 2014. Private and Dynamic Time-Series Data Aggregation with Trust Relaxation. In Cryptology and Network Security, Dimitris Gritzalis, Aggelos Kiayias, and Ioannis Askoxylakis (Eds.). Springer International Publishing, Cham, 305--320."},{"key":"e_1_3_2_2_23_1","volume-title":"Cryptology and Network Security,","author":"Leontiadis Iraklis","unstructured":"Iraklis Leontiadis , Kaoutar Elkhiyaoui , Melek \u00d6nen , and Refik Molva . 2015. PUDA -- Privacy and Unforgeability for Data Aggregation . In Cryptology and Network Security, , Michael Reiter and David Naccache (Eds.). Springer International Publishing , Cham , 3--18. Iraklis Leontiadis, Kaoutar Elkhiyaoui, Melek \u00d6nen, and Refik Molva. 2015. PUDA -- Privacy and Unforgeability for Data Aggregation. In Cryptology and Network Security, , Michael Reiter and David Naccache (Eds.). Springer International Publishing, Cham, 3--18."},{"key":"e_1_3_2_2_24_1","volume-title":"Glyph: Fast and Accurately Training Deep Neural Networks on Encrypted Data. In Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems","author":"Lou Qian","year":"2020","unstructured":"Qian Lou , Bo Feng , Geoffrey Charles Fox , and Lei Jiang . 2020 . Glyph: Fast and Accurately Training Deep Neural Networks on Encrypted Data. In Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, NeurIPS, Hugo Larochelle, Marc'Aurelio Ranzato, Raia Hadsell, Maria-Florina Balcan, and Hsuan-Tien Lin (Eds.). Qian Lou, Bo Feng, Geoffrey Charles Fox, and Lei Jiang. 2020. Glyph: Fast and Accurately Training Deep Neural Networks on Encrypted Data. In Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, NeurIPS, Hugo Larochelle, Marc'Aurelio Ranzato, Raia Hadsell, Maria-Florina Balcan, and Hsuan-Tien Lin (Eds.)."},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/2002472.2002491"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3338466.3358926"},{"key":"e_1_3_2_2_27_1","volume-title":"Federated Learning of Deep Networks using Model Averaging. CoRR","author":"McMahan H. Brendan","year":"2016","unstructured":"H. Brendan McMahan , Eider Moore , Daniel Ramage , and Blaise Ag\u00fc era y Arcas . 2016. Federated Learning of Deep Networks using Model Averaging. CoRR , Vol. abs\/ 1602 .05629 ( 2016 ). showeprint[arXiv]1602.05629 H. Brendan McMahan, Eider Moore, Daniel Ramage, and Blaise Ag\u00fc era y Arcas. 2016. Federated Learning of Deep Networks using Model Averaging. CoRR , Vol. abs\/1602.05629 (2016). showeprint[arXiv]1602.05629"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243760"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2017.12"},{"key":"e_1_3_2_2_30_1","volume-title":"Oblivious Multi-Party Machine Learning on Trusted Processors. In USENIX Security Symposium. 619--636","author":"Ohrimenko Olga","year":"2016","unstructured":"Olga Ohrimenko , Felix Schuster , Cedric Fournet , Aastha Mehta , Sebastian Nowozin , Kapil Vaswani , and Manuel Costa . 2016 . Oblivious Multi-Party Machine Learning on Trusted Processors. In USENIX Security Symposium. 619--636 . Olga Ohrimenko, Felix Schuster, Cedric Fournet, Aastha Mehta, Sebastian Nowozin, Kapil Vaswani, and Manuel Costa. 2016. Oblivious Multi-Party Machine Learning on Trusted Processors. In USENIX Security Symposium. 619--636."},{"key":"e_1_3_2_2_31_1","volume-title":"Advances in Cryptology -- EUROCRYPT '99","author":"Paillier Pascal","unstructured":"Pascal Paillier . 1999. Public-Key Cryptosystems Based on Composite Degree Residuosity Classes . In Advances in Cryptology -- EUROCRYPT '99 , Jacques Stern (Ed.). Springer Berlin Heidelberg , Berlin, Heidelberg , 223--238. Pascal Paillier. 1999. Public-Key Cryptosystems Based on Composite Degree Residuosity Classes. In Advances in Cryptology -- EUROCRYPT '99, Jacques Stern (Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg, 223--238."},{"key":"e_1_3_2_2_32_1","volume-title":"Scalable Private Learning with PATE. In International Conference on Learning Representations, ICLR '18","author":"Papernot Nicolas","year":"2018","unstructured":"Nicolas Papernot , Shuang Song , Ilya Mironov , Ananth Raghunathan , Kunal Talwar , and \u00da lfar Erlingsson. 2018 . Scalable Private Learning with PATE. In International Conference on Learning Representations, ICLR '18 . OpenReview.net. Nicolas Papernot, Shuang Song, Ilya Mironov, Ananth Raghunathan, Kunal Talwar, and \u00da lfar Erlingsson. 2018. Scalable Private Learning with PATE. In International Conference on Learning Representations, ICLR '18. OpenReview.net."},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3196494.3196522"},{"key":"e_1_3_2_2_34_1","volume-title":"A generic framework for privacy preserving deep learning. CoRR","author":"Ryffel Theo","year":"2018","unstructured":"Theo Ryffel , Andrew Trask , Morten Dahl , Bobby Wagner , Jason Mancuso , Daniel Rueckert , and Jonathan Passerat-Palmbach . 2018. A generic framework for privacy preserving deep learning. CoRR , Vol. abs\/ 1811 .04017 ( 2018 ). showeprint[arXiv]1811.04017 Theo Ryffel, Andrew Trask, Morten Dahl, Bobby Wagner, Jason Mancuso, Daniel Rueckert, and Jonathan Passerat-Palmbach. 2018. A generic framework for privacy preserving deep learning. CoRR , Vol. abs\/1811.04017 (2018). showeprint[arXiv]1811.04017"},{"key":"e_1_3_2_2_35_1","volume-title":"POSEIDON: Privacy-Preserving Federated Neural Network Learning. In NDSS '21","author":"Sav Sinem","year":"2021","unstructured":"Sinem Sav , Apostolos Pyrgelis , Juan Ram\u00f3 n Troncoso-Pastoriza , David Froelicher , Jean-Philippe Bossuat , Joao Sa Sousa , and Jean-Pierre Hubaux . 2021 . POSEIDON: Privacy-Preserving Federated Neural Network Learning. In NDSS '21 . The Internet Society. Sinem Sav, Apostolos Pyrgelis, Juan Ram\u00f3 n Troncoso-Pastoriza, David Froelicher, Jean-Philippe Bossuat, Joao Sa Sousa, and Jean-Pierre Hubaux. 2021. POSEIDON: Privacy-Preserving Federated Neural Network Learning. In NDSS '21. The Internet Society."},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-12612-4_25"},{"key":"e_1_3_2_2_37_1","volume-title":"Privacy-Preserving Aggregation of Time-Series Data. In NDSS '11","author":"Shi Elaine","year":"2011","unstructured":"Elaine Shi , T.-H. Hubert Chan , Eleanor Gilbert Rieffel , Richard Chow , and Dawn Song . 2011 . Privacy-Preserving Aggregation of Time-Series Data. In NDSS '11 . The Internet Society. Elaine Shi, T.-H. Hubert Chan, Eleanor Gilbert Rieffel, Richard Chow, and Dawn Song. 2011. Privacy-Preserving Aggregation of Time-Series Data. In NDSS '11. The Internet Society."},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2810103.2813687"},{"key":"e_1_3_2_2_39_1","volume-title":"Membership Inference Attacks Against Machine Learning Models. In 2017 IEEE Symposium on Security and Privacy, SP '17","author":"Shokri Reza","year":"2017","unstructured":"Reza Shokri , Marco Stronati , Congzheng Song , and Vitaly Shmatikov . 2017 . Membership Inference Attacks Against Machine Learning Models. In 2017 IEEE Symposium on Security and Privacy, SP '17 . IEEE Computer Society, 3--18. Reza Shokri, Marco Stronati, Congzheng Song, and Vitaly Shmatikov. 2017. Membership Inference Attacks Against Machine Learning Models. In 2017 IEEE Symposium on Security and Privacy, SP '17. IEEE Computer Society, 3--18."},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3338501.3357370"},{"key":"e_1_3_2_2_41_1","volume-title":"Fashion-MNIST: a Novel Image Dataset for Benchmarking Machine Learning Algorithms. CoRR","author":"Xiao Han","year":"2017","unstructured":"Han Xiao , Kashif Rasul , and Roland Vollgraf . 2017. Fashion-MNIST: a Novel Image Dataset for Benchmarking Machine Learning Algorithms. CoRR , Vol. abs\/ 1708 .07747 ( 2017 ). showeprint[arXiv]1708.07747 Han Xiao, Kashif Rasul, and Roland Vollgraf. 2017. Fashion-MNIST: a Novel Image Dataset for Benchmarking Machine Learning Algorithms. CoRR , Vol. abs\/1708.07747 (2017). showeprint[arXiv]1708.07747"},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3338501.3357371"}],"event":{"name":"CCS '22: 2022 ACM SIGSAC Conference on Computer and Communications Security","location":"Los Angeles CA USA","acronym":"CCS '22","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"]},"container-title":["Proceedings of the 15th ACM Workshop on Artificial Intelligence and Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3560830.3563729","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3560830.3563729","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:00:34Z","timestamp":1750186834000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3560830.3563729"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,11,7]]},"references-count":41,"alternative-id":["10.1145\/3560830.3563729","10.1145\/3560830"],"URL":"https:\/\/doi.org\/10.1145\/3560830.3563729","relation":{},"subject":[],"published":{"date-parts":[[2022,11,7]]},"assertion":[{"value":"2022-11-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}