Towards a Formally Verified Implementation of SHA-3 in SPARK

Studiengang
MSE/SWSY
Art der Arbeit
Masterarbeit
Verfasser/in
Reto Guadagnini
Referent/in
Prof. Dr. Andreas Steffen
Experte
Dr. Edgar Lederer / FHNW,
Institut
ITA
Jahr
2013
Arbeit als PDF
zurück