Originalarbeit von der CRYPTO 2014. Aufgabenstellung: überprüfen von bestehenden Sicherheitsannahmen mittels des automatisierten Tools.Referenz: PDF Ansprechpartner: E. Kiltz