Mylar is a platform for building secure web applications.