Yuandong Cyrus Liu

VESC: Towards Temporal Verification of Smart Contracts

2024

Blockchain technologies are applied in diverse domains such as financial systems, supply chains, and identity management, leading to the emergence of various smart contract languages design. These contracts often involve time dependent transactions recorded immutably …