Objetivo More than 15 years ago, several seminal publications showed that cryptographic keys can be revealed by analysing the power consumption or by inducing faults to devices like smart cards. The publication of these so-called physical attacks sparked off research on all kinds of attack techniques and countermeasures to secure implementations of cryptographic schemes. However, a system can still be attacked easily if only the execution of cryptographic schemes is secured. An attacker can for example induce a fault to bypass an authentication or to jump to a privileged function directly. The system might also leak the key before the execution of a cryptographic scheme starts.Today, there is almost no research on securing systems and software execution against physical attacks. Products like smart cards rely on proprietary best-practice countermeasures. Also countless devices of the Internet of Things are exposed to physical attacks and lack protection. Our goal is to close this fundamental gap in system security and to establish the scientific foundation for executing software securely and efficiently in the presence of physical attacks. We aim to address research questions that range from the modelling of the attacks at the hardware level up to system-level questions like how changing properties of programming languages can support achieving protection against physical attacks. This project brings together research on physical attacks, cryptography, system architectures, fault tolerant design as well as formal methods. Combining the fields, we pursue novel approaches to securing the control flow, CPU computations and memories. We in particular aim to find efficient methods in hardware and software that allow building systems where critical parts of the overall software can be secured against physical attacks without affecting or trusting the rest of the system. Our research also includes automated generation and verification techniques for the secured software. Ámbito científico natural sciencescomputer and information sciencesinternetinternet of thingsnatural sciencescomputer and information sciencessoftwareengineering and technologyelectrical engineering, electronic engineering, information engineeringelectronic engineeringcomputer hardwarecomputer processorsnatural sciencescomputer and information sciencescomputer securitycryptographysocial scienceseconomics and businesseconomicsproduction economicsproductivity Palabras clave SOPHIA Programa(s) H2020-EU.1.1. - EXCELLENT SCIENCE - European Research Council (ERC) Main Programme Tema(s) ERC-CoG-2015 - ERC Consolidator Grant Convocatoria de propuestas ERC-2015-CoG Consulte otros proyectos de esta convocatoria Régimen de financiación ERC-COG - Consolidator Grant Institución de acogida TECHNISCHE UNIVERSITAET GRAZ Aportación neta de la UEn € 1 964 750,00 Dirección RECHBAUERSTRASSE 12 8010 Graz Austria Ver en el mapa Región Südösterreich Steiermark Graz Tipo de actividad Higher or Secondary Education Establishments Enlaces Contactar con la organización Opens in new window Sitio web Opens in new window Participación en los programas de I+D de la UE Opens in new window Red de colaboración de HORIZON Opens in new window Coste total € 1 964 750,00 Beneficiarios (1) Ordenar alfabéticamente Ordenar por aportación neta de la UE Ampliar todo Contraer todo TECHNISCHE UNIVERSITAET GRAZ Austria Aportación neta de la UEn € 1 964 750,00 Dirección RECHBAUERSTRASSE 12 8010 Graz Ver en el mapa Región Südösterreich Steiermark Graz Tipo de actividad Higher or Secondary Education Establishments Enlaces Contactar con la organización Opens in new window Sitio web Opens in new window Participación en los programas de I+D de la UE Opens in new window Red de colaboración de HORIZON Opens in new window Coste total € 1 964 750,00