Clilets: Web Applications with Secure Client-Side Storage