Cel 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. Dziedzina nauki 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 Słowa kluczowe SOPHIA Program(-y) H2020-EU.1.1. - EXCELLENT SCIENCE - European Research Council (ERC) Main Programme Temat(-y) ERC-CoG-2015 - ERC Consolidator Grant Zaproszenie do składania wniosków ERC-2015-CoG Zobacz inne projekty w ramach tego zaproszenia System finansowania ERC-COG - Consolidator Grant Instytucja przyjmująca TECHNISCHE UNIVERSITAET GRAZ Wkład UE netto € 1 964 750,00 Adres RECHBAUERSTRASSE 12 8010 Graz Austria Zobacz na mapie Region Südösterreich Steiermark Graz Rodzaj działalności Higher or Secondary Education Establishments Linki Kontakt z organizacją Opens in new window Strona internetowa Opens in new window Uczestnictwo w unijnych programach w zakresie badań i innowacji Opens in new window sieć współpracy HORIZON Opens in new window Koszt całkowity € 1 964 750,00 Beneficjenci (1) Sortuj alfabetycznie Sortuj według wkładu UE netto Rozwiń wszystko Zwiń wszystko TECHNISCHE UNIVERSITAET GRAZ Austria Wkład UE netto € 1 964 750,00 Adres RECHBAUERSTRASSE 12 8010 Graz Zobacz na mapie Region Südösterreich Steiermark Graz Rodzaj działalności Higher or Secondary Education Establishments Linki Kontakt z organizacją Opens in new window Strona internetowa Opens in new window Uczestnictwo w unijnych programach w zakresie badań i innowacji Opens in new window sieć współpracy HORIZON Opens in new window Koszt całkowity € 1 964 750,00