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

POPSTAR

Financiado

Cerrado

Reasoning about Physical properties Of security Protocols with an Application To...

Reasoning about Physical properties Of security Protocols with an Application To contactless Systems The shrinking size of microprocessors as well as the ubiquity of wireless communication have led to the proliferation of portable computing devices with novel security requirements. Whereas traditional security protocols achieve t... ver más

31/07/2022

CNRS

1M€

Presupuesto del proyecto: 1M€

Líder del proyecto

CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE... 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 2022-07-31

ERC-2016-STG: ERC Starting Grant

I+D

Cerrada hace 9 años

0% 100% 100%

Información adicional privada

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

2 Participantes

CNRS

1.50M€ | Lider

ICER RAIL, S.L

696.64K€ | 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

ND-ETCRYPTOUC New Directions in Efficient and Tamper Resilient Public Key... 100K€ Cerrado

TOISE Trusted Computing for European Embedded devices 246M€ Cerrado

SCOUT Multitech SeCurity system for intercOnnected space control g... 3M€ Cerrado

TOISE Trusted Computing for European Embedded devices 246M€ Cerrado

CSP Cross Layer Design of Securing Positioning 2M€ Cerrado

Cathedral Post Snowden Circuits and Design Methods for Security 2M€ Cerrado

Duración del proyecto: 67 meses Fecha Inicio: 2016-12-16
Fecha Fin: 2022-07-31

Líder del proyecto

CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE... No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 1M€

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

Descripción del proyecto The shrinking size of microprocessors as well as the ubiquity of wireless communication have led to the proliferation of portable computing devices with novel security requirements. Whereas traditional security protocols achieve their security goals relying solely on cryptographic primitives like encryptions and hash functions, the protocols employed to secure these devices establish and rely in addition on properties of the physical world. For instance, they may use, as basic building blocks, protocols for ensuring physical proximity, secure localisation, or secure neighbourhood discovery. Unfortunately, we often hear about ill-conceived systems, and portable computing devices raise some serious concerns about privacy.To draw meaningful conclusions, the security analysis of these systems has to be done taking into account physical properties, such as transmission delay, network topology, and node positions. This contrasts sharply with standard models used to analyse traditional protocols. The main objective of the POPSTAR project is to develop foundations and practical tools to analyse modern security protocols that establish and rely on physical properties. In particular, we will: - devise models and develop techniques to make possible a rigorous analysis of cryptographic protocols that establish and rely on physical properties; - develop foundations and practical tools for formally verifying security properties, as well as privacy properties that play a prominent role is many applications; - experiment the developed techniques for analysing the security of modern contactless systems. The POPSTAR project will significantly advance the use of formal verification to contribute to the security analysis of protocols that rely on physical properties. This project is bold and ambitious, and answers the forthcoming expectation from consumers and citizens for high level of trust and confidence about contactless nomadic devices.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores