Quire: Lightweight Provenance for Smart Phone Operating Systems | Synapse