Objectif 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. Champ scientifique 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 Mots‑clés SOPHIA Programme(s) H2020-EU.1.1. - EXCELLENT SCIENCE - European Research Council (ERC) Main Programme Thème(s) ERC-CoG-2015 - ERC Consolidator Grant Appel à propositions ERC-2015-CoG Voir d’autres projets de cet appel Régime de financement ERC-COG - Consolidator Grant Institution d’accueil TECHNISCHE UNIVERSITAET GRAZ Contribution nette de l'UE € 1 964 750,00 Adresse RECHBAUERSTRASSE 12 8010 Graz Autriche Voir sur la carte Région Südösterreich Steiermark Graz Type d’activité Higher or Secondary Education Establishments Liens Contacter l’organisation Opens in new window Site web Opens in new window Participation aux programmes de R&I de l'UE Opens in new window Réseau de collaboration HORIZON Opens in new window Coût total € 1 964 750,00 Bénéficiaires (1) Trier par ordre alphabétique Trier par contribution nette de l'UE Tout développer Tout réduire TECHNISCHE UNIVERSITAET GRAZ Autriche Contribution nette de l'UE € 1 964 750,00 Adresse RECHBAUERSTRASSE 12 8010 Graz Voir sur la carte Région Südösterreich Steiermark Graz Type d’activité Higher or Secondary Education Establishments Liens Contacter l’organisation Opens in new window Site web Opens in new window Participation aux programmes de R&I de l'UE Opens in new window Réseau de collaboration HORIZON Opens in new window Coût total € 1 964 750,00