Naz, Muqaddas, Khan, Muhammad Taimoor ORCID: https://orcid.org/0000-0002-5752-6420 and Waqas, Muhammad ORCID: https://orcid.org/0000-0003-0814-7544 (2025) Model-driven privacy analysis of messaging platforms. In: ACM Conference on Computer and Communications Security. The Association for Computing Machinery (ACM), Taipei, Taiwan. (In Press)

PDF (Author's Accepted Manuscript) 51007 WAQAS_Model-Driven_Privacy_Analysis_Of_Messaging_Platforms_(AAM)_2025.pdf - Accepted Version Restricted to Repository staff only Download (463kB) | Request a copy

Abstract

Analyzing privacy breaches in Internet-based messaging applications is challenging due to overlapping and sometimes conflicting requirements such as confidentiality, anonymity, unlinkability, and user consent. Existing static analysis techniques typically target isolated aspects of privacy, limiting their scope. In this work, we introduce a static analysis framework based on a composite privacy model that captures the interdependencies among these requirements. This unified model enables the systematic identification of technical privacy violations and their associated legal implications, such as infringements of data protection laws and digital rights. We apply our framework to Ejabberd, a real-time communication server used in messaging platforms like WhatsApp. Our analysis focuses on confidentiality and consent-driven privacy concerns, including the right to be informed and the right to erasure. The results highlight the effectiveness of our approach in bridging technical analysis with legal accountability.

Item Type:	Conference Proceedings
Title of Proceedings:	ACM Conference on Computer and Communications Security
Uncontrolled Keywords:	privacy, Ejabberd, WhatsApp, consent, confidentiality
Subjects:	Q Science > Q Science (General) Q Science > QA Mathematics Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Faculty / School / Research Centre / Research Group:	Faculty of Engineering & Science Faculty of Engineering & Science > School of Computing & Mathematical Sciences (CMS)
Related URLs:	https://www.sigsac.org/ccs/CCS2025/call-...
Last Modified:	08 Sep 2025 13:42
URI:	https://gala.gre.ac.uk/id/eprint/51007

Actions (login required)

View Item

Downloads