{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,12]],"date-time":"2026-02-12T09:47:48Z","timestamp":1770889668782,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,4,25]],"date-time":"2022-04-25T00:00:00Z","timestamp":1650844800000},"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,4,25]]},"DOI":"10.1145\/3477314.3507119","type":"proceedings-article","created":{"date-parts":[[2022,5,7]],"date-time":"2022-05-07T00:37:36Z","timestamp":1651883856000},"page":"1817-1826","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Verifying opacity by abstract interpretation"],"prefix":"10.1145","author":[{"given":"Isabella","family":"Mastroeni","sequence":"first","affiliation":[{"name":"University of Verona, Verona, Italy"}]},{"given":"Michele","family":"Pasqua","sequence":"additional","affiliation":[{"name":"University of Verona, Verona, Italy"}]}],"member":"320","published-online":{"date-parts":[[2022,5,6]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proc. of POPL. 874--887","author":"Assaf M.","unstructured":"M. Assaf, D. A. Naumann, J. Signoles, E. Totel, and F. Tronel. 2017. Hypercollecting semantics and its application to static analysis of information flow. In Proc. of POPL. 874--887."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-008-0058-x"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-2009-0393"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00313-3"},{"key":"e_1_3_2_1_5_1","volume-title":"Proc. of POPL. 238--252","author":"Cousot P.","unstructured":"P. Cousot and R. Cousot. 1977. Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In Proc. of POPL. 238--252."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/11523468_107"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-14672"},{"key":"e_1_3_2_1_8_1","volume-title":"Proc. of POPL. 186--197","author":"Giacobazzi R.","unstructured":"R. Giacobazzi and I. Mastroeni. 2004. Abstract Non-interference: Parameterizing Non-Interference by Abstract Interpretation. In Proc. of POPL. 186--197."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3175660"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/333979.333989"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/1297689.1297694"},{"key":"e_1_3_2_1_12_1","volume-title":"Proc. of SAS. 171--185","author":"Hunt S.","unstructured":"S. Hunt and I. Mastroeni. 2005. The PER Model of Abstract Non-interference. In Proc. of SAS. 171--185."},{"key":"e_1_3_2_1_13_1","volume-title":"Proc. of SAS. 232--252","author":"Mastroeni I.","unstructured":"I. Mastroeni and M. Pasqua. 2017. Hyperhierarchy of Semantics - A Formal Framework for Hyperproperties Verification. In Proc. of SAS. 232--252."},{"key":"e_1_3_2_1_14_1","volume-title":"Proc. of SAS. 1--20","author":"Mastroeni I.","unstructured":"I. Mastroeni and M. Pasqua. 2018. Verifying Bounded Subset-Closed Hyperproperties. In Proc. of SAS. 1--20."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3297280.3297498"},{"key":"e_1_3_2_1_16_1","volume-title":"Proc. of ESOP. 18--32","author":"Ranzato F.","unstructured":"F. Ranzato and F. Tapparo. 2004. Strong Preservation as Completeness in Abstract Interpretation. In Proc. of ESOP. 18--32."},{"key":"e_1_3_2_1_17_1","volume-title":"Technical Report CS-TR-958, University of Newcastle upon Tyne.","author":"Ryan P.Y.A.","year":"2006","unstructured":"P.Y.A. Ryan and T. Peacock. 2006. Opacity - Further Insights on an Information Flow Property. Technical Report CS-TR-958, University of Newcastle upon Tyne."},{"key":"e_1_3_2_1_18_1","volume-title":"Proc. of CSF. 539--553","author":"Schoepe D.","unstructured":"D. Schoepe and A. Sabelfeld. 2015. Understanding and Enforcing Opacity. In Proc. of CSF. 539--553."}],"event":{"name":"SAC '22: The 37th ACM\/SIGAPP Symposium on Applied Computing","location":"Virtual Event","acronym":"SAC '22","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"]},"container-title":["Proceedings of the 37th ACM\/SIGAPP Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3477314.3507119","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3477314.3507119","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:31:29Z","timestamp":1750188689000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3477314.3507119"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,4,25]]},"references-count":18,"alternative-id":["10.1145\/3477314.3507119","10.1145\/3477314"],"URL":"https:\/\/doi.org\/10.1145\/3477314.3507119","relation":{},"subject":[],"published":{"date-parts":[[2022,4,25]]},"assertion":[{"value":"2022-05-06","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}