Automated Analysis of Cryptographic Assumptions in Generic Group Models
Crypto RUB » Lehre (German) » Abschlussarbeiten

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

Referenz: PDF
Ansprechpartner: E. Kiltz