A sterile neutrino at MiniBooNE and IceCube

We discuss the possibility that a sterile neutrino of mass around 50 MeV slightly mixed with the muon flavor may be the origin of the MiniBooNE anomaly. We show that its production in the atmosphere in a fraction of kaon decays would imply an excess of contained showers at IceCube from down-going and near-horizontal directions.