Secure and Efficient Trajectory-Based Contact Tracing using Trusted Hardware
Fumiyuki Kato, Yang Cao, Masatoshi Yoshikawa

TL;DR
This paper introduces a secure, scalable, trajectory-based contact tracing system leveraging trusted hardware to overcome limitations of Bluetooth-based methods, enabling detection of indirect contacts and flexible risk rules.
Contribution
It formalizes trajectory-based PCT as a generalization of PSI and designs a novel algorithm utilizing Intel SGX for enhanced security and efficiency.
Findings
High performance on real-world data
Scalable processing of millions of records
Flexible risk rule adaptation
Abstract
The COVID-19 pandemic has prompted technological measures to control the spread of the disease. Private contact tracing (PCT) is one of the promising techniques for the purpose. However, the recently proposed Bluetooth-based PCT has several limitations in terms of functionality and flexibility. The existing systems are only able to detect direct contact (i.e., human-human contact), but cannot detect indirect contact (i.e., human-object, such as the disease transmission through surface). Moreover, the rule of risky contact cannot be flexibly changed with the environmental situation and the nature of the virus. In this paper, we propose a secure and efficient trajectory-based PCT system using trusted hardware. We formalize trajectory-based PCT as a generalization of the well-studied Private Set Intersection (PSI), which is mostly based on cryptographic primitives and thus insufficient. We…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Code & Models
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsVehicular Ad Hoc Networks (VANETs) · Internet Traffic Analysis and Secure E-voting · Privacy-Preserving Technologies in Data
