Web Browsers As Operating Systems: Supporting Robust And Secure Web Programs