"Haloferax"@cs .