National University of Singapore
I am an Assistant Professor in the Computer Science Department at National University of Singapore. I work on computer security, and its intersection with formal methods and programming languages. My present research projects are on cryptocurrencies, trusted computing, binary analysis, and web security. I got my Phd in Computer Science from the University of California, Berkeley in 2012 and visited Microsoft Research Redmond during the summer of 2015.