The origin of cosmic rays (CRs) with up to 10^20 eV energies is one of the most important questions in astrophysics to date. One way to track down CR sources and study CR propagation is to look for the products of cosmic ray interactions interactions, in particular high-energy (TeV-PeV) neutrinos. These neutrinos, indeed, are characteristic of hadronic interactions and thus would be an unambiguous signature of the presence of cosmic rays.