Provenance-Based Security Audits and Its Application to COVID-19 Contact Tracing Apps | Publicación