The main goal of the project is to address and tackle some of the most challenging open problems in the area of quantum security. Significant original results are expected in several fronts, such as: design and analysis of quantum protocols, model checking of quantum systems, quantum cryptoanalysis of classical protocols, quantum solutions to classical impossibilities. Several applications will be investigated with the purpose of understating how they can be speed up using quantum information. The focus will be on cryptographic tasks, such as zero knowledge proof systems, e-voting, authentication and contract signing. A model-checking tool for quantum systems will be produced within the project, as well as a simulator for testing quantum attacks on symmetric cryptosystems.