Life detection with the Enceladus Orbiting Sequencer | IEEE Conference Publication | IEEE Xplore