Welcome to CISPA

In this highly connected world, graph problems are at the algorithmic heart of many computational challenges.

This research area strives to improve privacy and to develop new frameworks for efficient and secure data handling.

The fragile security of today's IT infrastructure is the result of a perpetual arms race between attackers and defenders. Formal methods offer a way out of this arms race. Based on mathematically precise models, they can systematically eliminate entire classes of attack strategies.

Attack-detection mechanisms must be able to reliably detect, predict, and explain both known and novel threats, while also being able to cope with evasion techniques (like obfuscation, polymorphism, or stealth low-volume attacks).

Faulty computer systems allow for spying on, as well as sabotaging, even the most critical infrastructures - this means that, for example, our energy supply network, water supply, and communication network etc. are under continuous risk.

We need security solutions that actually work in practice, not only work in theory. Achieving this is not possible without empirical research. We focus on the ways in which people and technology interact.