Path integrals, localisation

Physicists use the "Atiyah-Bott formula" for path "integrals" (for instance the supersymmetric proof of the Atiyah-Singer index theorem. Is there some way to make atleast some of these ideas rigorous? As in is there a rigorous localisation formula for infinite dimensional integration? (i.e. using the Weiner measure when applicable?)

-