Facilitating Optimal Containment And Exit Strategies With Minimal Disclosure Access Control And Tracking (SmartExit)

This project aims at facilitating exit strategies that incorporate access control to the public space, border crossings, and critical areas. The strategies are based on the individual COVID-19 immunity and/or infection status. Also, the project will investigate the implementation of contact-tracing apps in Luxembourg, which clearly is an essential component of a successful exit strategy in order to backtrack and contain the infection. The smart access control system can be based on passports, ID cards or smart cards. We will propose a mechanism, produce a prototype implementation, and present a preliminary formal analysis of access control solutions for exit strategies. While it might be necessary to waive users' privacy in order to efficiently contain the epidemic, we will look for mechanisms that waive it to the least possible extent. In this sense, the focus of the project will be on preserving privacy, unlinkability and GDPR compliance for the access control system. Further, contact-tracing apps with minimal privacy disclosure will be investigated, especially the DP-3T proposal from PEPP-PT.