A Formalization of Card-Based Cryptographic Protocols via