Suivre
Michael Schrempp
Michael Schrempp
Karlsruhe, Institute of Technology
Adresse e-mail validée de freenet.de
Titre
Citée par
Citée par
Année
Card-based cryptography meets formal verification
A Koch, M Schrempp, M Kirsten
New Generation Computing 39 (1), 115-158, 2021
372021
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.