Symbolische Beweise werden zu einem wirkungsvollen Ansatz, um die Sicherheit kryptografischer Protokolle zu beweisen und Schwachstellen darin zu entdecken. Ziel dieses Projekts ist es daher, einige der modernsten Techniken zu analysieren, die von symbolischen Beweismitteln verwendet werden.
Mehr Informationen finden Sie hier.
Kontakt: Prof. Dr. Alex Wiesmaier Msc. Miguel Angel Robles Leon
Kommunikation
Schöfferstraße 10
64295 Darmstadt
Büro: D19, 3.07
+49.6151.533-60152
christoph.krauss@h-da.de
Lehrgebiet
Network Security
Kommunikation
Schöfferstraße 10
64295 Darmstadt
Büro: D19, 2.09
+49.6151.533-60185
alexander.wiesmaier@h-da.de
Lehrgebiet
Cyber Security