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: Msc. Miguel Angel Robles Leon Prof. Dr. Alex Wiesmaier