Title: Systematische Analyse von Kryptosystemen