Follow
Michael Schrempp
Michael Schrempp
Karlsruhe, Institute of Technology
Verified email at freenet.de
Title
Cited by
Cited by
Year
Card-based cryptography meets formal verification
A Koch, M Schrempp, M Kirsten
New Generation Computing 39 (1), 115-158, 2021
372021
The system can't perform the operation now. Try again later.