David Chocholatý

String Constraint Solving for Analysis of Web Applications and Beyond

Lector: Lukáš Holík

Institution: Brno University of Technology, Faculty of Information Technology

Field: Information Technology

 

About the project

Web applications used every day bring security risks. Our project analyses programs for web applications to discover vulnerabilities in their code. For the analysis, we use string constraint solving based on automata theory. Our solution is the fastest in the world, giving us a unique opportunity to overcome obstacles and discover numerous new vulnerabilities. The project will also be utilized in areas such as verification of avionic control systems, or configuration of cloud access policies.

 

Why science?

I have always enjoyed exploring and discovering new ideas. The academia gives me the opportunity to continue doing what I enjoy while solving current real-world problems, where I can truly make a difference in people's lives. Each day, I can learn something new, but also extend the boundaries of knowledge about well-known problems. Exactly this curiosity and desire to understand the world around us is what make us as humanity evolve, and I am only so glad to be part of the innovation process.

 

What do I like most about Brno

There are several reasons why I harbour a warm fondness for Brno. Not only is Brno the centre of science and technology, but it is also a beautiful city full of history, culture and entertainment. Brno provides me with everything needed while still not being an overgrown metropolis, where one feels small and insignificant in the grand scheme of things. I enjoy my life in Brno and would like to see Brno evolve and flourish further.