I’m interested in several topics around the theme of designing secure systems with provable guarantees. Specifically:
(1) Secure cyber-physical systems that involve humans and machines in the loop
(2) Secure cloud-based programming systems for end-users
The techniques we use range from applied crypto, language-based security, control theory and adversarial ML

Before applying for this opportunity you need to submit your online profile. Click the button below to continue.