Beefing up public-key encryption