Hackers could make a gas leak go undetected.