CTP: Correlated Trajectory Publication with Differential Privacy | IEEE Conference Publication | IEEE Xplore