STRINGS: Řetězcová omezení pro analýzu bezpečnosti

Poskytovatel

Grantová agentura České republiky

Program

Standardní projekty

Veřejná soutěž

SGA0202500001

Hlavní účastníci

Vysoké učení technické v Brně / Fakulta informačních technologií

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

25-17934S

Název projektu anglicky

STRINGS: String Constraints for Security Analysis

Anotace anglicky

We aim at advancing the technology of string constraint solving (SCS) to enable security analysis of web applications. It is a timely objective---vulnerabilities to cross-site scripting, SQL-injection, or security policy malfunctions are among the main sources of security breaches of today's web technologies. They elicit astronomical costs that pose a significant obstacle for the industry. Automatic and precise analysis of web applications has always been the vision of SCS research community. Realizing it is within the potential of our recent SCS method that showcases our long term research of automata technology and, despite its youth, surpasses the state of the art. We propose to perfect our SCS technique so that it reaches the required scalability and expressiveness, and to initiate a development of SCS enabled analyses of web applications written in languages such as JavaScript or PHP. It requires tackling fundamental questions about SCS, further develop automata techniques we build on, and to propose scalable analyses for dynamic languages compatible with the SCS technology.

Kategorie VaV

ZV - Základní výzkum

OECD FORD - hlavní obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

OECD FORD - vedlejší obor

—

OECD FORD - další vedlejší obor

—

CEP - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)

AF - Dokumentace, knihovnictví, práce s informacemi<br>BC - Teorie a systémy řízení<br>BD - Teorie informace<br>IN - Informatika

Zahájení řešení

1. 8. 2025

Ukončení řešení

31. 12. 2028

Poslední stav řešení

Z - Začínající víceletý projekt

Poslední uvolnění podpory

—

Důvěrnost údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Systémové označení dodávky dat

CEP25-GA0-GA-R

Datum dodání záznamu

29. 7. 2025

Celkové uznané náklady

10 212 tis. Kč

Výše podpory ze státního rozpočtu

9 384 tis. Kč

Ostatní veřejné zdroje financování

828 tis. Kč

Neveřejné tuz. a zahr. zdroje finan.

0 tis. Kč