Card-Based Cryptography Meets Formal Verification. - Alexander Koch 001; Michael Schrempp; Michael Kirsten (New Gener. Comput., 2021)