Public-key cryptography for the web