Thanks; we didn't say in the interview but we have a website about the project at http://Securing.WS The whole project is joint work with Cédric Fournet, who couldn't make the interview.