K. Bhargavan, A. Pironti, and A. Delignat-Lavaud work closely with Microsoft Research in Cambridge, Redmond,
Silicon Valley, and Bangalore (C. Fournet, N. Swamy, M. Abadi, P. Naldurg)
G. Steel and R. Bardou work closely with University of Venice, Italy (R. Foccardi).
G. Bana works closely with Keio University Japan
E-I. Bartzia works closely with IMDEA Madrid (P-Y. Strub)