The purpose of this project is the study of properties of astrophysical compact objects that may be measures by current and future telescopes and detectors of gravitational waves, in such a way that they allow to detect eventual modifications of gravity (namely string theory corrections) and physics beyond the Standard Model (namely dark matter). Concerning specifically the physics of black holes, we wish to get a better understanding of some of their properties in modified gravity theories and in higher spacetime dimensions. In this context we will study black holes with higher derivative corrections in d dimensions, in string theory and in Einsteinian cubic gravity.

The project is organized into two tasks. On the first task we will deal with black hole perturbations, quasinormal modes and cosmic censorship. In these studies we will specially beconcerned with the effects of higher derivative corrections in the black hole solutions we will consider. These corrections are typically motivated by string theories.In the second task we will apply the AdS/CFT correspondence to problems of current interest in strongly coupled systems, namely condensed matter and nonperturbative QCD.

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 cryptosyst