This page has moved to /publication/#csrf-web-framework.