Registered user since Thu 18 Jun 2015
My research focuses on the applications of formal methods for analysis and verification of secure software systems. In particular, I am interested in the application of advanced theorem proving techniques to the area of security, privacy, optimizing compilers, and policy analysis. I am also interested in ethical and secure data sharing across borders.
|VMCAI|| Treasurer & Conference Manager in Organizing Committee|
Committee Member in Program Committee
Committee Member in Steering Committee
|Show activities from other conferences|
View general profile