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

FHO MSE Infoabend für den Studienstart 2019/20

13.06.18 - Am 30. Oktober 2018 informieren wir Sie über den Master of Science in Engineering und die verschiedenen Forschungsgebiete an der FHO.