We discuss the propagation treatment of the indirect dark matter detection using WIMP annihilations in the Sun and the Earth. In particular, we focus on treating neutrino interactions and oscillations in a consistent framework, including tau neutrino regeneration and a full three-flavor neutrino oscillation framework. We also discuss the equivalence of using a Monte Carlo approach - suited for inclusion in neutrino telescope Monte Carlos - and the density matrix formalism.