The goal of these sabbatical visits is to provide the opportunity to work intensely with some of the key researchers in the field of verifiable voting schemes, the design and analysis of security protocols and the characterisation of secure information flows. The researchers in question are all researchers with whom I have had long a fruitful collaborations in the past. The primary focus will be to consolidate achievements in the field of verifiable voting schemes. However I also plan to take the opportunity to pick up some past research threads in the design and analysis of security protocols and the characterisation of secure info flows. Scientific goals:Advance the state of the art in secure, E2E Verifiable voting schemes (with Stark, Teague, Rivest, and Schneider). Enhancements to Prêt à Voter and vVote, including greater robustness and accountability. Advance the state of the art in the design and analysis of crypto protocols. This will include classical and quantum protocols as well as password and out-of-band based authenticated key establishment protocols. (with Schneider, Roscoe and Cremers)Advance the state of the art in the characterisation of secure information flow. This will include extending earlier results of Ryan and Schneider to deal with systems combining “don’t care” and probabilistic non-determinism and time. Also extensions to handle quantitative information flows. (with Schneider and Roscoe).Collaboration goals:These visits will help cement close collaborations with these researchers and institutions. I expect them to result in joint (INTER-FNR/EPSRC) project proposals as well as collaboration in the field of cyber-security by establishing links with the Cyber-Security Centres in Oxford and Surrey.