{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:18:55Z","timestamp":1750220335699,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":5,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,7,20]],"date-time":"2022-07-20T00:00:00Z","timestamp":1658275200000},"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,7,20]]},"DOI":"10.1145\/3519270.3538466","type":"proceedings-article","created":{"date-parts":[[2022,7,21]],"date-time":"2022-07-21T16:23:51Z","timestamp":1658420631000},"page":"378-380","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Brief Announcement: Probabilistic Dynamic Input\/Output Automata"],"prefix":"10.1145","author":[{"given":"Pierre","family":"Civit","sequence":"first","affiliation":[{"name":"Sorbonne Universit\u00e9, Paris, France"}]},{"given":"Maria","family":"Potop-Butucaru","sequence":"additional","affiliation":[{"name":"Sorbonne Universit\u00e9, Paris, France"}]}],"member":"320","published-online":{"date-parts":[[2022,7,21]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2016.03.008"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2017.09.007"},{"key":"e_1_3_2_2_3_1","volume-title":"Compositional Security for Task-PIOAs. In 20th IEEE Computer Security Foundations Symposium, CSF 2007","author":"Canetti Ran","year":"2007","unstructured":"Ran Canetti , Ling Cheung , Dilsun Kirli Kaynar , Nancy A. Lynch , and Olivier Pereira . 2007 . Compositional Security for Task-PIOAs. In 20th IEEE Computer Security Foundations Symposium, CSF 2007 , 6--8 July 2007, Venice, Italy. IEEE Computer Society, 125--139. https:\/\/doi.org\/10.1109\/CSF. 2007.15 10.1109\/CSF.2007.15 Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, and Olivier Pereira. 2007. Compositional Security for Task-PIOAs. In 20th IEEE Computer Security Foundations Symposium, CSF 2007, 6--8 July 2007, Venice, Italy. IEEE Computer Society, 125--139. https:\/\/doi.org\/10.1109\/CSF.2007.15"},{"key":"e_1_3_2_2_4_1","unstructured":"Pierre Civit and Maria Potop-Butucaru. 2021. Probabilistic Dynamic Input Output Automata. IACR Cryptol. ePrint Arch. (2021) 798. https:\/\/eprint.iacr.org\/2021\/798  Pierre Civit and Maria Potop-Butucaru. 2021. Probabilistic Dynamic Input Output Automata. IACR Cryptol. ePrint Arch. (2021) 798. https:\/\/eprint.iacr.org\/2021\/798"},{"key":"e_1_3_2_2_5_1","unstructured":"Pierre Civit and Maria Potop-Butucaru. 2022. Composable Dynamic Secure Emulation. IACR Cryptol. ePrint Arch. (2022) 326. https:\/\/eprint.iacr.org\/2022\/326  Pierre Civit and Maria Potop-Butucaru. 2022. Composable Dynamic Secure Emulation. IACR Cryptol. ePrint Arch. (2022) 326. https:\/\/eprint.iacr.org\/2022\/326"}],"event":{"name":"PODC '22: ACM Symposium on Principles of Distributed Computing","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"],"location":"Salerno Italy","acronym":"PODC '22"},"container-title":["Proceedings of the 2022 ACM Symposium on Principles of Distributed Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3519270.3538466","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3519270.3538466","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:12:21Z","timestamp":1750191141000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3519270.3538466"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,7,20]]},"references-count":5,"alternative-id":["10.1145\/3519270.3538466","10.1145\/3519270"],"URL":"https:\/\/doi.org\/10.1145\/3519270.3538466","relation":{},"subject":[],"published":{"date-parts":[[2022,7,20]]},"assertion":[{"value":"2022-07-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}