Folgen
Michael Schrempp
Michael Schrempp
Karlsruhe, Institute of Technology
Bestätigte E-Mail-Adresse bei freenet.de
Titel
Zitiert von
Zitiert von
Jahr
Card-based cryptography meets formal verification
A Koch, M Schrempp, M Kirsten
New Generation Computing 39 (1), 115-158, 2021
372021
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.