Michael Schrempp

2020202120222023202420255 14 10 5 9 10

Alexander KochIRIF, CNRS, Université Paris CitéVerified email at irif.fr
Michael KirstenLudwig-Maximilians-Universität (LMU) in MunichVerified email at ifi.lmu.de

Michael Schrempp

Karlsruhe, Institute of Technology

No verified email


Title Sort by citations Sort by year Sort by 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	54	2021

The system can't perform the operation now. Try again later.

Citations per year