The biometrics technology that helped ID Bin Laden