I am glad to announce I have successfully defended my Ph.D. Dissertation, thus completing the requirements for the Ph.D. degree at Arizona State University. I will be officially receiving such a degree at the end of the Fall 2016 semester.

I had a chance to participate and present a research poster in the 2016 Industry Workshop hosted by the Cyber Resilient Energy Delivery Consortium (CREDC) at the University of Illinois at Urbana-Champaign.

I was honored to participate in the 1st Student Program Committee of the 37th IEEE Symposium on Security and Privacy (Oakland), one of the top conferences in the field of Computer Security in the world.

Research Interests

My research interests lay at the intersection of Computer Security and Software Verification and Validation. Concretely, I have experience on the development of techniques for verifying the correct implementation of access control models at the source-code level by means of software specification techniques. In addition, I have recently worked on new approaches for federated authentication and authorization based on security-related properties, a.k.a. attributes, in multi-organizational settings composed of different high-performance network providers.

Current Affiliation

sefcom-gray I am currently affiliated with the Center for Cybersecurity and Digital Forensics, (CDF), as well as with the Laboratory of Secure Engineering for Future Computing (SEFCOM), which are directed by Dr. Gail-Joon Ahn, Dr. Adam Doupé and Dr. Ziming Zhao at Arizona State University. Our work focuses on a variety of topics related to computer security: access control, digital forensics, security for mobile frameworks (Android), moving target defense, etc., and has been sponsored by the US National Science Foundation, the US Department of Energy, Bank of America, Microsoft, Google, CISCO, among others.


Teaching Experience