An Optimal Pufferfish Privacy Mechanism for Temporally Correlated Trajectories | IEEE Journals & Magazine | IEEE Xplore