Professors

Rensselaer Polytechnic Institute · Computer Science

programming languages · software engineering · security

• static program analysis
• taint analysis
• secure computation
• verification of machine learning libraries

University of California, Davis · Computer Science

cryptography · information security

• cryptography
• secure computation
• protocols

Toronto Metropolitan University · Computer Science

data privacy · cybersecurity · cryptography

• secure computation
• health data privacy
• synthetic data