Paulo Nunes has just concluded his PhD with the thesis "Blended Security Analysis for Web Applications: Techniques and Tools". Our best wishes to the new PhD!