Sequential decoding for the exponential server timing channel | IEEE Journals & Magazine | IEEE Xplore