Chandra Nandi

1 talk by Chandra Nandi

• Automatically Strengthening Formal DeFi Specifications using Program Mutations with Chandra Nandi