Research activities in the area of Applied Cryptography and Network Security focus on the design and analysis of cryptographic algorithms and protocols with applications to many important fields of information, communication, and computer security. In our work we deploy a wide range of modern cryptographic techniques and follow the principle of "provable security", which considers formal modeling and security analysis of cryptographic constructions as an indispensable part of their design process, to provide assurance about their security and privacy guarantees.

Collaboration We collaborate with many leading international research groups and institutions. Strong collaboration links and interaction exists with the Center for Advanced Security Research Darmstadt and the European Center for Security and Privacy by Design in Germany, Queensland University of Technology in Australia, University of California Irvine in USA, University catholique de Louvain in Belgium, ENS Paris in France, and Royal Holloway University of London in UK.

Events We are involved in organisation of international events on cryptography and security and serve on programm committees of various recognised international conferences. Selected this year's events are: WISTP 2012, PKC 2012, ACNS 2012, ProvSec 2012, SecureComm 2012, Dagstuhl Seminar on Privacy-Oriented Cryptography, ICICS 2012, ISC 2012, CANS 2012.