Published in ACM Computer and Communications Security (CCS), 2025
This paper presents a secure cloud-based secret-recovery mechanism that allows users to store cryptographic secrets and recover them independently, even after losing their credentials, while ensuring confidentiality against malicious clouds.
Published in IEEE International Conference on Blockchain and Cryptocurrency (ICBC), 2025
Proposed modeling blockchain transactions with Shape Constraint Languages to reduce errors from imperative smart contracts.
Published in ACM Computer and Communications Security (CCS), 2024
Develops an automated and secure system to perform tracebacks – an investigative task of identifying the point of origin of illegal robocalls. This paper received both the Distinguished Paper Award and the Distinguished Artifact Award.