Faculty of Mathematics » Lehre (German) » Abschlussarbeiten

Originalarbeit von der CRYPTO 2014. Aufgabenstellung: überprüfen von bestehenden Sicherheitsannahmen mittels des automatisierten Tools.

Referenz: PDF
Ansprechpartner: E. Kiltz