Card-Based Cryptography Meets Formal Verification.
| Autor: | Koch, Alexander1 (AUTHOR) alexander.koch@kit.edu, Schrempp, Michael1 (AUTHOR), Kirsten, Michael1 (AUTHOR) |
|---|---|
| Zdroj: | New Generation Computing. Apr2021, Vol. 39 Issue 1, p115-158. 44p. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|