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

AV-SMP

Financiado

Cerrado

Algorithmic Verification of String Manipulating Programs

String is among the most fundamental and commonly used data types in virtually all modern programming languages, especially with the rapidly growing popularity of scripting languages (e.g. JavaScript and Python). Programs written... ver más

31/10/2022

RHEINLAND-PFALZISC...

1M€

Presupuesto del proyecto: 1M€

Líder del proyecto

RHEINLAND-PFALZISCHE TECHNISCHE UNIVERSITAT No se ha especificado una descripción o un objeto social para esta compañía.

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

Ver 3 Participantes

Financiación concedida El organismo H2020 notifico la concesión del proyecto el día 2022-10-31

ERC-2017-STG: ERC Starting Grant

I+D

Cerrada hace 8 años

0% 100% 100%

Características del participante

Este proyecto no cuenta con búsquedas de partenariado abiertas en este momento.

Información adicional privada

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

3 Participantes

RHEINLAND-PFALZISCHE TECHNIS...

1.33M€ | Lider

IVI MADRID

651.80K€ | Participante

UOXF

164.61K€ | Participante

Proyectos interesantes

EEBB-I-12-05620

Software

Cybersecurity

2K€ Cerrado

XHUNTER

Cybersecurity

Software

219K€ Cerrado

CRYSP

Software

Cybersecurity

1M€ Cerrado

CIRCUS

Cybersecurity

Software

2M€ Cerrado

CodeSan

Software

Cybersecurity

1M€ Cerrado

PAWTOOLS

Software

Web Development

150K€ Cerrado

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

Duración del proyecto: 61 meses Fecha Inicio: 2017-09-19
Fecha Fin: 2022-10-31

Líder del proyecto

RHEINLAND-PFALZISCHE TECHNISCHE UNIVERSITAT No se ha especificado una descripción o un objeto social para esta compañía.

Presupuesto del proyecto 1M€

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

Descripción del proyecto String is among the most fundamental and commonly used data types in virtually all modern programming languages, especially with the rapidly growing popularity of scripting languages (e.g. JavaScript and Python). Programs written in such languages tend to perform heavy string manipulations, which are complex to reason about and could easily lead to programming mistakes. In some cases, such mistakes could have serious consequences, e.g., in the case of client-side web applications, cross-site scripting (XSS) attacks that could lead to a security breach by a malicious user. The central objective of the proposed project is to develop novel verification algorithms for analysing the correctness (esp. with respect to safety and termination properties) of programs with string variables, and transform them into robust verification tools. To meet this key objective, we will make fundamental breakthroughs on both theoretical and tool implementation challenges. On the theoretical side, we address two important problems: (1) design expressive constraint languages over strings (in combination with other data types like integers) that permit decidability with good complexity, and (2) design generic semi-algorithms for verifying string programs that have strong theoretical performance guarantee. On the implementation side, we will address the challenging problem of designing novel implementation methods that can substantially speed up the basic string analysis procedures in practice. Finally, as a proof of concept, we will apply our technologies to two key application domains: (1) automatic detection of XSS vulnerabilities in web applications, and (2) automatic grading systems for a programming course. The project will not only make fundamental theoretical contributions — potentially solving long-standing open problems in the area — but also yield powerful methods that can be used in various applications.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores