Cel In line with the EU 2020 Flagship Initiative on a Digital Agenda for Europe and the upcoming EU Cybersecurity Strategy, the goal of the LV-Pri20 project is to aid our ICT-driven lives, by “safeguarding the human right of privacy in the digital society”. Concretely, the main focus of LV-Pri20 is the formal and automatic analysis of privacy-preservation in today’s ICT. LV-Pri20 will focus on the prevalent wireless media, e.g. RF-identification protocols, remote car-unlocking, wearables, machine-to-machine communication in the Internet of Things (IoT)/ubiquitous computing, but it will not neglect wired environments (given their common cloud-connection). LV-Pri20 will assess and automatically analyse privacy-sensitive applications, in their standalone execution, as well as in the more involved setting of multiple, concurrent executions thereof. This will be done systematically and taxonomically: distinct classes of applications (e.g. identification protocols using Electronic Product Codes vs. the Open Smart Grid Protocol) and different privacy properties (e.g. data non-leakage vs. data-user unlinkability) will be respectively analysed via tailored, well-defined techniques. To specify privacy, LV-Pri20 will design/refine different non-classical logic languages which have inherent semantics for privacy-like expression (e.g. strategy logics). For these, we will then develop new model checking algorithms. All will be incorporated in automatic verification software, which already proved efficient in analysing highly distributed systems, inline with, e.g. the IoT applications envisaged herein.LV-Pri20 will have a multi-disciplinary, collaborative nature, an academic core and industrial side. After an initial privacy scrutiny, new/patched RFID-based, privacy-preserving, communication protocols will be (re-)designed and implemented. For these, we will devise mathematical proofs for one-session security, and run automatic analysis of their multi-session executions. Dziedzina nauki natural sciencescomputer and information sciencesartificial intelligencenatural sciencescomputer and information sciencesinternetinternet of thingsnatural sciencescomputer and information sciencescomputer securitynatural sciencescomputer and information sciencessoftwaresoftware applicationssimulation software Program(-y) H2020-EU.1.3. - EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions Main Programme H2020-EU.1.3.2. - Nurturing excellence by means of cross-border and cross-sector mobility Temat(-y) MSCA-IF-2014-EF - Marie Skłodowska-Curie Individual Fellowships (IF-EF) Zaproszenie do składania wniosków H2020-MSCA-IF-2014 Zobacz inne projekty w ramach tego zaproszenia System finansowania MSCA-IF-EF-CAR - CAR – Career Restart panel Koordynator UNIVERSITY OF SURREY Wkład UE netto € 95 284,21 Adres Stag Hill GU2 7XH Guildford Zjednoczone Królestwo Zobacz na mapie Region South East (England) Surrey, East and West Sussex West Surrey 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 € 95 284,22 Uczestnicy (1) Sortuj alfabetycznie Sortuj według wkładu UE netto Rozwiń wszystko Zwiń wszystko IMPERIAL COLLEGE OF SCIENCE TECHNOLOGY AND MEDICINE Zakończenie uczestnictwa Zjednoczone Królestwo Wkład UE netto € 100 170,59 Adres SOUTH KENSINGTON CAMPUS EXHIBITION ROAD SW7 2AZ LONDON Zobacz na mapie Region London Inner London — West Westminster 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 € 100 170,59