FMIndia June 2024

fmindia@cmi.ac.in

6 participants
12 discussions

[extended June 23] DPM 2024 - cfp - Data Privacy Manamgement, co-located with ESORICS 2024, Sep 19

by Guillermo Navarro-Arribas

Please, accept our apologies if you receive multiple copies of this email. CALL FOR PAPERS ****************************************************** Data Privacy Management (DPM 2024) 19th International Workshop September 19, 2024, Bydgoszcz, Poland (co-located with ESORICS 2024) website: https://deic.uab.cat/dpm/dpm2024/ ****************************************************** IMPORTANT DATES ====================== Submission Deadline: -- June 23, 2024 (extended) Notification: -- July 15, 2024 Camera Ready: -- August 19, 2024 ====== SCOPE ====== DPM is an annual international workshop covering research in data privacy management. Organizations are increasingly concerned about the privacy of information that they manage (as witnessed, for example, by lawsuits filed against organizations for violating the privacy of customer's data). Thus, the management of privacy-sensitive information is very critical and important for every organization. This poses several challenging problems, such as how to translate the high-level business goals into system-level privacy policies, administration of privacy-sensitive data, privacy preserving data integration and engineering, privacy preserving access control mechanisms, information-oriented security, and query execution on privacy-sensitive data for partial answers. Starting from these observations, the aim of DPM is to discuss and exchange ideas related to data privacy management. We invite papers from researchers and practitioners working in privacy, security, trustworthy data systems and related areas to submit their original papers in this workshop. Submissions by PhD students as well as controversial ideas are encouraged. Case studies (successful or not) are also encouraged. TOPICS ======== Topics of interest include, but are not limited to: - Privacy in Machine Learning - Privacy Information Management - Privacy Policy-based Infrastructures and Architectures - Privacy-oriented Access Control Languages and Models - Privacy in Trust Management - Privacy in Cryptocurrencies - Privacy Data Integration - Privacy Risk Assessment and Assurance - Privacy Services - Privacy Policy Analysis - Data Protection Regulations in Practice - Cryptographic Protocols for Privacy - Query Execution over Privacy Sensitive Data - Privacy Preserving Data Mining - Privacy for Integrity-based Computing - Privacy Monitoring and Auditing - Privacy in Social Networks - Privacy in Ambient Intelligence (AmI) Applications - Individual Privacy vs. Corporate/National Security - Privacy in computer networks - Privacy and RFIDs - Privacy and Big Data - Privacy in sensor networks - Privacy in the Internet of Things PAPER SUBMISSIONS =================== Submitted papers must not substantially overlap papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. Papers can be submitted as Full Papers or Short Papers. Full papers should be at most 16 pages in the LNCS format, including the bibliography and well-marked appendices. Short papers should be at most 8 pages in the LNCS format, including the bibliography and well-marked appendices. Program Committee members are not required to read the appendices, so papers should be intelligible without them. Authors should indicate whether their paper is a short paper to differentiate them from full papers. All submissions must be written in English. It is planned to have accepted papers published by Springer in the Lecture Notes in Computer Science (LNCS) series, the LNCS template can be found at http://www.springer.com/computer/lncs/lncs+authors. Authors must submit their papers by the indicated deadline, using the EasyChair web site: https://easychair.org/conferences/?conf=dpm2024 Only PDF files will be accepted (a Latex source file will be required for the final version of the accepted papers). All papers will be refereed. Accepted papers must be presented at the Workshop. At least one author of each accepted paper must register to the workshop, by the early date indicated by the organizers, and present the paper. GENERAL CHAIR =============== Joaquin Garcia-Alfaro ((Institut Polytechnique de Paris) PROGRAM CHAIRS =============== Ken Barker (University of Calgary) Guillermo Navarro-Arribas (Universitat Autonoma de Barcelona) PROGRAM COMMITTEE ================= Esma Aïmeur (University of Montreal) Abderrahim Ait Wakrime (Mohammed V University) Jordi Casas-Roma (Universitat Autonoma de Barcelona) Jordi Castellà-Roca (Universitat Rovira i Virgili) Depeng Chen (Anhui University) Mauro Conti (University of Padua) Mathieu Cunche (University of Lyon / Inria) Nora Cuppens-Boulahia (Polytechnique Montreal) Mila Dalla Preda (University of Verona) Sabrina De Capitani di Vimercati (Universita degli Studi di Milano) Jose M. De Fuentes (Universidad Carlos III de Madrid) Josep Domingo-Ferrer (Universitat Rovira i Virgili) Sebastien Gambs (Université du Québec à Montréal) Lorena González Manzano (Universidad Carlos III de Madrid) M. Emre Gursoy (Koç University) Guy-Vincent Jourdan (University of Ottawa) Marc Juarez (University of Edinburgh) Christos Kalloniatis (University of the Aegean) Bruce Kapron (University of Victoria) Sokratis Katsikas (Norwegian University of Science and Technology) Christophe Kiennert (Telecom SudParis) Romain Laborde (University Paul Sabatier Toulouse III) Patrick Lacharme (Ensicaen) Giovanni Livraga (University of Milan) Brad Malin (Vanderbilt University) Lukas Malina (Brno University of Technology) David Megias (Universitat Oberta de Catalunya) Chris Mitchell (Royal Holloway, University of London) Gerardo Pelosi (Politecnico di Milano) Cristina Perez-Sola (Universitat Utonoma de Barcelona) Kai Rannenberg (Goethe University Frankfurt) Isabel Praça (GECAD / ISEP) Ruben Rios (Universidad de Malaga) Pierangela Samarati (Universita degli Studi di Milano) Vicenç Torra (Umeå University) Alexandre Viejo (Universitat Rovira i Virgili) Isabel Wagner (University of Basel) Jens Weber (University of Victoria) Lena Wiese (University of Göttingen) Nicola Zannone (Eindhoven University of Technology) ================== VENUE/FORMAT ================== The workshop will be held in Bydgoszcz, Poland, in conjunction with the 29th annual European Symposium on Research in Computer Security, ESORICS. More information on accommodation and venue available from the ESORICS 2024 website at https://esorics2024.org/ This call for papers and additional information about DPM 2024 can be found at https://deic.uab.cat/dpm/dpm2024/ Kinldy contact dpm2024(a)easychair.org in case of doubts or questions.

3 months, 1 week

IARCS Verification Seminar Series -- Talk by Kartik Nagar on June 4 at 1900 hrs IST

by VSS IARCS

Dear all, The next talk in the IARCS Verification Seminar Series will be given by Kartik Nagar, an Assistant Professor at Department of CSE, IIT Madras. The talk is scheduled on Tuesday, June 04, at 1900 hrs IST (add to Google calendar <https://calendar.google.com/calendar/event?action=TEMPLATE&tmeid=MWlzcXUyN2…> ). The details of the talk can be found on our webpage ( https://fmindia.cmi.ac.in/vss/), and also appended to the body of this email. The Verification Seminar Series, an initiative by the Indian Association for Research in Computing Science (IARCS), is a monthly, online talk-series, broadly in the area of Formal Methods and Programming Languages, with applications in Verification and Synthesis. The aim of this talk-series is to provide a platform for Formal Methods researchers to interact regularly. In addition, we hope that it will make it easier for researchers to explore newer problems/areas and collaborate on them, and for younger researchers to start working in these areas. All are welcome to join. Best regards, Akash, Deepak, Madhukar, Srivathsan ============================================================= Title: Specifying and Verifying Correctness of Mergeable Replicated Data Types Meeting Link: https://us02web.zoom.us/j/89164094870?pwd=eUFNRWp0bHYxRVpwVVNoVUdHU0djQT09 (Meeting ID: 891 6409 4870, Passcode: 082194) Abstract: Modern decentralized applications often use multiple replicas/copies of data, each of which can be independently operated, to minimize data access latency, provide fault tolerance and improve scalability. Mergeable Replicated Data Types (MRDTs) have emerged as a systematic approach to the problem of ensuring that replicas remain eventually consistent despite concurrent conflicting updates. MRDTs draw inspiration from the Git version control system, where each update creates a new version and any two versions can be merged explicitly through a user-defined merge function. The full flexibility offered by MRDTs in terms of creating and merging arbitrary versions severely complicates the design and development of correct MRDT implementations. In this talk, I will present two orthogonal approaches for specification and verification of MRDTs: a highly expressive, axiomatic event-based specification approach supported by a semi-automated verification procedure, and a more intuitive (but restrictive) linearizability based specification approach supported by fully automated verification. Bio: Kartik Nagar is an Assistant Professor at Department of CSE, IIT Madras. He completed his PhD from IISc Bangalore, after which he was a postdoc at Purdue University. His research interests are in Automated Formal Verification, Program Analysis and Programming Languages, with emphasis on developing practical verification techniques for concurrent and distributed systems.

3 months, 2 weeks

2024

2023

2022

FMIndia June 2024