English
Related papers

Related papers: Private-Yet-Verifiable Contact Tracing

200 papers

Point-of-Interest (POI) recommendation has been extensively studied and successfully applied in industry recently. However, most existing approaches build centralized models on the basis of collecting users' data. Both private data and…

Cryptography and Security · Computer Science 2020-04-28 Chaochao Chen , Jun Zhou , Bingzhe Wu , Wenjin Fang , Li Wang , Yuan Qi , Xiaolin Zheng

Runtime verification offers scalable solutions to improve the safety and reliability of systems. However, systems that require verification or monitoring by a third party to ensure compliance with a specification might contain sensitive…

Cryptography and Security · Computer Science 2025-05-15 Thomas A. Henzinger , Mahyar Karimi , K. S. Thejaswini

The current COVID-19 pandemic highlights the utility of contact tracing, when combined with case isolation and social distancing, as an important tool for mitigating the spread of a disease [1]. Contact tracing provides a mechanism of…

Cryptography and Security · Computer Science 2020-04-13 Jack K. Fitzsimons , Atul Mantri , Robert Pisarczyk , Tom Rainforth , Zhikuan Zhao

Many proximity-based tracing (PCT) protocols have been proposed and deployed to combat the spreading of COVID-19. In this paper, we take a systematic approach to analyze PCT protocols. We identify a list of desired properties of a contact…

Computers and Society · Computer Science 2020-12-18 Fabrizio Cicala , Weicheng Wang , Tianhao Wang , Ninghui Li , Elisa Bertino , Faming Liang , Yang Yang

Sequential data is everywhere, and it can serve as a basis for research that will lead to improved processes. For example, road infrastructure can be improved by identifying bottlenecks in GPS data, or early diagnosis can be improved by…

Cryptography and Security · Computer Science 2020-02-25 Sigal Shaked , Lior Rokach

Access control policies are used to restrict access to sensitive records for authorized users only. One approach for specifying policies is using role based access control (RBAC) where authorization is given to roles instead of users. Users…

Cryptography and Security · Computer Science 2015-03-27 Khair Eddin Sabri

Trusted Computing is a security base technology that will perhaps be ubiquitous in a few years in personal computers and mobile devices alike. Despite its neutrality with respect to applications, it has raised some privacy concerns. We show…

Cryptography and Security · Computer Science 2007-05-23 Nicolai Kuntze , Andreas U. Schmidt

This document describes and analyzes a system for secure and privacy-preserving proximity tracing at large scale. This system, referred to as DP3T, provides a technological foundation to help slow the spread of SARS-CoV-2 by simplifying and…

Federated recommender systems have been crucially enhanced through data sharing and continuous model updates, attributed to the pervasive connectivity and distributed computing capabilities of Internet of Things (IoT) devices. Given the…

Machine Learning · Computer Science 2024-06-10 Zhen Cai , Tao Tang , Shuo Yu , Yunpeng Xiao , Feng Xia

The global health threat from COVID-19 has been controlled in a number of instances by large-scale testing and contact tracing efforts. We created this document to suggest three functionalities on how we might best harness computing…

Personal sensory data is used by context-aware mobile applications to provide utility. However, the same data can also be used by an adversary to make sensitive inferences about a user thereby violating her privacy. We present DEEProtect, a…

Cryptography and Security · Computer Science 2017-11-20 Changchang Liu , Supriyo Chakraborty , Prateek Mittal

Eye tracking is routinely being incorporated into virtual reality (VR) systems. Prior research has shown that eye tracking data, if exposed, can be used for re-identification attacks. The state of our knowledge about currently existing…

Human-Computer Interaction · Computer Science 2024-02-22 Ethan Wilson , Azim Ibragimov , Michael J. Proulx , Sai Deep Tetali , Kevin Butler , Eakta Jain

This paper introduces AGAPECert, an Auditable, Generalized, Automated, Privacy-Enabling, Certification framework capable of performing auditable computation on private data and reporting real-time aggregate certification status without…

Cryptography and Security · Computer Science 2022-07-27 Servio Palacios , Aaron Ault , James V. Krogmeier , Bharat Bhargava , Christopher G. Brinton

Anonymous communication networks have emerged as crucial tools for obfuscating communication pathways and concealing user identities. However, their practical deployments face significant challenges, including susceptibility to artificial…

Cryptography and Security · Computer Science 2025-08-05 Chao Ge , Wei Yuan , Ge Chen , Yanbin Pan , Yuan Shen

Contact tracing is being widely employed to combat the spread of COVID-19. Many apps have been developed that allow for tracing to be done automatically based off location and interaction data generated by users. There are concerns,…

Cryptography and Security · Computer Science 2020-04-09 James Bell , David Butler , Chris Hicks , Jon Crowcroft

Contact tracing is an essential tool in containing infectious diseases such as COVID-19. Many countries and research groups have launched or announced mobile apps to facilitate contact tracing by recording contacts between users with some…

Cryptography and Security · Computer Science 2020-05-05 Ni Trieu , Kareem Shehata , Prateek Saxena , Reza Shokri , Dawn Song

Contact tracing is an important measure to counter the COVID-19 pandemic. In the early phase, many countries employed manual contact tracing to contain the rate of disease spread, however it has many issues. The manual approach is…

Cryptography and Security · Computer Science 2020-05-22 Rajan M A , Manish Shukla , Sachin Lodha

Today, tracking and controlling the spread of a virus is a crucial need for almost all countries. Doing this early would save millions of lives and help countries keep a stable economy. The easiest way to control the spread of a virus is to…

Cryptography and Security · Computer Science 2020-10-26 Didem Demirag , Erman Ayday

Governments and researchers around the world are implementing digital contact tracing solutions to stem the spread of infectious disease, namely COVID-19. Many of these solutions threaten individual rights and privacy. Our goal is to break…

Cryptography and Security · Computer Science 2020-04-23 Alex Berke , Michiel Bakker , Praneeth Vepakomma , Kent Larson , Alex 'Sandy' Pentland

Recent advances in large language models (LLMs) have enabled a new generation of autonomous agents that operate over sustained periods and manage sensitive resources on behalf of users. Trusted for their ability to act without direct…

Cryptography and Security · Computer Science 2025-12-19 Artem Grigor , Christian Schroeder de Witt , Simon Birnbach , Ivan Martinovic