Research Interests: Deep learning, security, and blockchain. Deep learning and program synthesis and analysis. Secure deep learning and artificial intelligence. Blockchain and decentralized systems. Computer security, privacy, and applied cryptography, including security and privacy issues in systems, software, networking, and databases. Using program analysis, algorithms design, and machine learning for security and privacy.