Informatik 4: Ismail Ali Al-Attar, Torben Genster, Ben Krämer, David Muschiol: "Automatisierte Analyse der Anfälligkeit von Webanwendungen für Session-Hijacking durch gestohlene Session-Cookies"