CORDIS Project
Funding breakdown and partner intelligence are Premium
Sign in and upgrade to Premium for EU contribution totals, consortium analytics, OpenAlex research context, and AI summaries. · 0 consortium intelligence fields visible of 1
Start free • Cancel anytime • 14-day refund guarantee
The project focuses on developing advanced verification algorithms for programs that manipulate strings, particularly in scripting languages. It aims to enhance program safety and termination properties, addressing potential vulnerabilities like cross-site scripting attacks in web applications.
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 scr…
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
United Kingdom, Oxford
Type: University / higher education
Activity type: Higher or Secondary Education Establishments
SME: No
Similar projects, consortium collaboration history, frequent partners, and OpenAlex research context.
Guests see up to 5 EuroSciVoc fields.
Guests see up to 5 topics.
Guests see up to 5 keywords.
