Safe Validation of Pricing Agreements
Published in ICSE, 2025
This paper presents Parrot, a multi-party protocol for validation of pricing agreements that prevents leakage of sensitive information.
Publications
ZKSMT: A VM for Proving SMT Theorems in Zero Knowledge
Published in USENIX Security, 2024
This paper presents ZKSMT, a zero-knowledge protocol for validating proofs of SMT theorems.
Checking Equivalence in a Non-strict Language
Published in OOPSLA, 2022
This paper presents Nebula, the first fully automated expression equivalence checker for non-strict functional languages.
Download here
Automated Feedback Generation for Competition-Level Code
Published in ASE, 2022
This paper presents Clef, an automated feedback generator designed to handle submissions for competition-level programming problems.