Xinyuan Sun

2 talks by Xinyuan Sun

• Intelligence beyond Commitment Devices
• Exploiting and Securing DeFi Projects with Formal Methods