Formalization and Verification of Delegate Contract Signing Mechanism Based on Smart Contract Using CSP.

Bangjie Zhu, Jiaqi Yin, Sini Chen, Huibiao Zhu

Browse the full SAC paper archive.