This post has moved to /blog/2015-06-25-procorem-security-overview/.