Sukrit Kalra

Latest

• Zeus: Analyzing Safety of Smart Contracts.
• POLLUX: Safely Upgrading Dependent Application Libraries