The Rabin scheme revisited