Programming languages and software engineering
Project
VeriSol: A formal verifier for Solidity based smart contracts
Ensuring correctness of smart contracts is paramount to ensuring trust in blockchain-based systems. VeriSol (Verifier for Solidity) is a project for advancing the state-of-the-art in formal specification and verification of blockchain smart contracts, with the…
Video
Models as Code: Differentiable Programming with Zygote
Scientific computing is increasingly incorporating the advancements in machine learning and the ability to work with large amounts of data. At the same time, machine learning models are becoming increasingly sophisticated and exhibit many features…
Video
EzPC (Easy Secure Multi-party Computation)
Secure Multi-Party Computation (MPC) is a powerful cryptographic tool that allows multiple entities to execute protocols in order to compute functions on their private data without sharing their data in the clear with each other.…
Publication