Brzuska, Christina : On the Foundations of Key Exchange. Technische Universität, Darmstadt [Ph.D. Thesis], (2013)