  We present an analysis of the two-loop amplitude of the muon decay in the
Standard Model (SM) using algebraic renormalization techniques. In addition, we
discuss a manifestly BRST invariant IR regulator for the photon within the SM.
