Found 2 relevant results in 2.46s where lecturer="Ralf Küsters"
The course presents formal and cryptographic methods for modeling and analyzing security-critical systems. The first and main part of the course will focus on cryptographic protocols. In the second part formal methods in other fields of information security, such as access control, will be presented.
Infinite games, i.e., games that never end, are a usefultool in many areas of computer science, such as security,hardware and software verification as well as logic. Inthis class, we study such games and their applications inthe different areas of computer science.