Publications have moved to https://raids-lab.com/publications/.