フォロー
Michael Schrempp
Michael Schrempp
Karlsruhe, Institute of Technology
確認したメール アドレス: freenet.de
タイトル
引用先
引用先
年
Card-based cryptography meets formal verification
A Koch, M Schrempp, M Kirsten
New Generation Computing 39 (1), 115-158, 2021
372021
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。