Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

LV-Pri20

Financiado

Cerrado

Logic based Verification of Privacy Preservation in Europe s 2020 ICT

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... ver más

21/06/2017

SURREY

195K€

Presupuesto del proyecto: 195K€

Líder del proyecto

UNIVERSITY OF SURREY No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Fecha límite participación Sin fecha límite de participación.

Ver 2 Participantes

Financiación concedida El organismo H2020 notifico la concesión del proyecto el día 2017-06-21

MSCA-IF-2014-EF: Marie Skłodowska-Curie Individual F...

I+D

Cerrada hace 10 años

0% 100%

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.

2 Participantes

SURREY

95.28K€ | Lider

IMPERIAL COLLEGE OF SCIENCE...

100.17K€ | Participante

Conecta tu I+D

¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video

Proyectos interesantes

RTI2018-102112-B-I00 TECNICAS AVANZADAS DE CADENAS DE BLOQUES PARA LA INTERNET DE... 56K€ Cerrado

RTI2018-095499-B-C32 IOTRAIN-SEGURO: SEGURIDAD PARA EL INTERNET DE LAS COSAS EN E... 76K€ Cerrado

RTI2018-095094-B-C22 IOT ORIENTADO AL CONSUMIDOR CONFORME CON EL GDPR/IOT DOMESTI... 132K€ Cerrado

IMPACT imPACT Privacy Accountability Compliance and Trust in T... 9M€ Cerrado

TIN2017-84844-C2-1-R CRIPTOGRAFIA PARA OPTIMIZAR LA PRIVACIDAD Y LA CIBERSEGURIDA... 94K€ Cerrado

PCIN-2016-010 FORTALECIMIENTO DE LA SEGURIDAD Y PRIVACIDAD DE LOS USUARIOS... 165K€ Cerrado

Duración del proyecto: 26 meses Fecha Inicio: 2015-04-14
Fecha Fin: 2017-06-21

Líder del proyecto

UNIVERSITY OF SURREY No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 195K€

Fecha límite de participación Sin fecha límite de participación.

Descripción del proyecto 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.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores