{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:24:57Z","timestamp":1750220697957,"version":"3.41.0"},"reference-count":24,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2020,2,24]],"date-time":"2020-02-24T00:00:00Z","timestamp":1582502400000},"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":["ACM SIGLOG News"],"published-print":{"date-parts":[[2020,2,24]]},"abstract":"<jats:p>\n            On the 4th of November 2019 (date very close to her 60th birthday), we celebrated Catuscia's intellectual depth, vision, passion for science, and tenacity in solving technical problems. The one-day event was held at the Inria Saclay Center (LIX, \u00c9cole Polytechnique, France) and included the participation of more than 40 of her colleagues and friends. Moreover, as a special gift, we presented Catuscia with an LNCS volume written in her honor, entitled\n            <jats:italic>The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy<\/jats:italic>\n            [Alvim et al. 2019]. The process of reviewing and selecting contributions, as well as of editing the final volume, took over one year. Fortunately, we succeeded in keeping it secret from Catuscia. We received support from EasyChair and Springer for publishing the volume and financial funding for the event from LIX - \u00c9cole Polytechnique and Inria Saclay.\n          <\/jats:p>","DOI":"10.1145\/3385634.3385640","type":"journal-article","created":{"date-parts":[[2020,2,24]],"date-time":"2020-02-24T21:19:35Z","timestamp":1582579175000},"page":"47-50","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Catuscia Palamidessi"],"prefix":"10.1145","volume":"7","author":[{"given":"M\u00e1rio S.","family":"Alvim","sequence":"first","affiliation":[{"name":"Universidade Federal de Minas Gerais"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Konstantinos","family":"Chatzikokolakis","sequence":"additional","affiliation":[{"name":"University of Athens"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlos","family":"Olarte","sequence":"additional","affiliation":[{"name":"Universidade Federal do Rio Grande do Norte"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank D.","family":"Valencia","sequence":"additional","affiliation":[{"name":"Paris and Pontificia Universidad Javeriana de Cali"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,2,24]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.3390\/e20050382"},{"volume-title":"Additive and Multiplicative Notions of Leakage, and Their Capacities","author":"Alvim Mario S.","key":"e_1_2_1_2_1","unstructured":"Mario S. Alvim , Konstantinos Chatzikokolakis , Annabelle McIver , Carroll Morgan , Catuscia Palamidessi , and Geoffrey Smith . 2014. Additive and Multiplicative Notions of Leakage, and Their Capacities . In CSF. IEEE Computer Society , 308--322. Mario S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, and Geoffrey Smith. 2014. Additive and Multiplicative Notions of Leakage, and Their Capacities. In CSF. IEEE Computer Society, 308--322."},{"volume-title":"Axioms for Information Leakage","author":"Alvim M\u00e1rio S.","key":"e_1_2_1_3_1","unstructured":"M\u00e1rio S. Alvim , Konstantinos Chatzikokolakis , Annabelle McIver , Carroll Morgan , Catuscia Palamidessi , and Geoffrey Smith . 2016. Axioms for Information Leakage . In CSF. IEEE Computer Society , 77--92. M\u00e1rio S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, and Geoffrey Smith. 2016. Axioms for Information Leakage. In CSF. IEEE Computer Society, 77--92."},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-31175-9"},{"volume-title":"Measuring Information Leakage Using Generalized Gain Functions","author":"Alvim M\u00e1rio S.","key":"e_1_2_1_5_1","unstructured":"M\u00e1rio S. Alvim , Konstantinos Chatzikokolakis , Catuscia Palamidessi , and Geoffrey Smith . 2012. Measuring Information Leakage Using Generalized Gain Functions . In CSF. IEEE Computer Society , 265--279. M\u00e1rio S. Alvim, Konstantinos Chatzikokolakis, Catuscia Palamidessi, and Geoffrey Smith. 2012. Measuring Information Leakage Using Generalized Gain Functions. In CSF. IEEE Computer Society, 265--279."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2508859.2516735"},{"volume-title":"CONCUR (LNCS)","author":"Bhargava Mohit","key":"e_1_2_1_7_1","unstructured":"Mohit Bhargava and Catuscia Palamidessi . 2005. Probabilistic Anonymity . In CONCUR (LNCS) , Vol. 3653 . Springer , 171--185. Mohit Bhargava and Catuscia Palamidessi. 2005. Probabilistic Anonymity. In CONCUR (LNCS), Vol. 3653. Springer, 171--185."},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2009.07.085"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39077-7_5"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2007.07.003"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/1454415.1454418"},{"key":"e_1_2_1_12_1","volume-title":"F-BLEAU: Fast Black-box Leakage Estimation. In Symposium on Security and Privacy. IEEE Computer Society, 1307--1324","author":"Cherubin Giovanni","year":"2019","unstructured":"Giovanni Cherubin , Konstantinos Chatzikokolakis , and Catuscia Palamidessi . 2019 . F-BLEAU: Fast Black-box Leakage Estimation. In Symposium on Security and Privacy. IEEE Computer Society, 1307--1324 . Giovanni Cherubin, Konstantinos Chatzikokolakis, and Catuscia Palamidessi. 2019. F-BLEAU: Fast Black-box Leakage Estimation. In Symposium on Security and Privacy. IEEE Computer Society, 1307--1324."},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/265943.265954"},{"key":"e_1_2_1_14_1","volume-title":"Jan Willem Klop, and Catuscia Palamidessi","author":"de Boer Frank S.","year":"1992","unstructured":"Frank S. de Boer , Jan Willem Klop, and Catuscia Palamidessi . 1992 . Asynchronous Communication in Process Algebra. In LICS. IEEE Computer Society , 137--147. Frank S. de Boer, Jan Willem Klop, and Catuscia Palamidessi. 1992. Asynchronous Communication in Process Algebra. In LICS. IEEE Computer Society, 137--147."},{"key":"e_1_2_1_15_1","volume-title":"de Boer and Catuscia Palamidessi","author":"Frank","year":"1991","unstructured":"Frank S. de Boer and Catuscia Palamidessi . 1991 . A Fully Abstract Model for Concurrent Constraint Programming. In TAPSOFT, Vol. 1 (LNCS), Vol. 493. Springer , 296--319. Frank S. de Boer and Catuscia Palamidessi. 1991. A Fully Abstract Model for Concurrent Constraint Programming. In TAPSOFT, Vol.1 (LNCS), Vol. 493. Springer, 296--319."},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1004"},{"volume-title":"A New Declarative Semantics for Logic Languages","author":"Falaschi Moreno","key":"e_1_2_1_17_1","unstructured":"Moreno Falaschi , Giorgio Levi , Maurizio Martelli , and Catuscia Palamidessi . 1988. A New Declarative Semantics for Logic Languages . In ICLP\/SLP. MIT Press , 993--1005. Moreno Falaschi, Giorgio Levi, Maurizio Martelli, and Catuscia Palamidessi. 1988. A New Declarative Semantics for Logic Languages. In ICLP\/SLP. MIT Press, 993--1005."},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(89)90070-4"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(91)90009-T"},{"volume-title":"FoSSaCS (LNCS)","author":"Herescu Oltea Mihaela","key":"e_1_2_1_20_1","unstructured":"Oltea Mihaela Herescu and Catuscia Palamidessi . 2000. Probabilistic Asynchronous pi-Calculus . In FoSSaCS (LNCS) , Vol. 1784 . Springer , 146--160. Oltea Mihaela Herescu and Catuscia Palamidessi. 2000. Probabilistic Asynchronous pi-Calculus. In FoSSaCS (LNCS), Vol. 1784. Springer, 146--160."},{"key":"e_1_2_1_21_1","first-page":"145","article-title":"Temporal Concurrent Constraint Programming: Denotation, Logic and Applications","volume":"9","author":"Nielsen Mogens","year":"2002","unstructured":"Mogens Nielsen , Catuscia Palamidessi , and Frank D. Valencia . 2002 . Temporal Concurrent Constraint Programming: Denotation, Logic and Applications . Nord. J. Comput. 9 , 1 (2002), 145 -- 188 . Mogens Nielsen, Catuscia Palamidessi, and Frank D. Valencia. 2002. Temporal Concurrent Constraint Programming: Denotation, Logic and Applications. Nord. J. Comput. 9, 1 (2002), 145--188.","journal-title":"Nord. J. Comput."},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129503004043"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.12.094"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.11.050"}],"container-title":["ACM SIGLOG News"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3385634.3385640","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3385634.3385640","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:32:49Z","timestamp":1750199569000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3385634.3385640"}},"subtitle":["a journey from logic and concurrency to security and privacy"],"short-title":[],"issued":{"date-parts":[[2020,2,24]]},"references-count":24,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2020,2,24]]}},"alternative-id":["10.1145\/3385634.3385640"],"URL":"https:\/\/doi.org\/10.1145\/3385634.3385640","relation":{},"ISSN":["2372-3491"],"issn-type":[{"type":"electronic","value":"2372-3491"}],"subject":[],"published":{"date-parts":[[2020,2,24]]},"assertion":[{"value":"2020-02-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}