Projekt- und Master-Arbeiten

Towards a Formally Verified Implementation of SHA-3 in SPARK

Verfasser

Guadagnini Reto

Themengebiet

Software and Systems

Studiengang

MSE/Software and Systems

Examinator/in

Prof. Dr. Andreas Steffen

Experte/in

Dr. Edgar Lederer
FHNW

Erstellungsjahr

2013

Typ

Masterarbeit

 

Abstract 893 KB

Zurück zur Übersicht

Bachelor-Infoabend am 9. April 2019

09.04.19 - Lernen Sie unsere Studiengänge und den HSR Campus kennen.