Our paper Mutated Policies: Towards Proactive Attribute-based Defenses for Access Control has been accepted for publication at the 2017 Workshop on Moving Target Defense, hosted in conjunction with the 2017 ACM Conference on Computer and Communications Security (CCS).

Our paper OntoEDS: Protecting Energy Delivery Systems by Collaboratively Analyzing Security Requirements has been accepted for publication at the 3rd IEEE International Conference on Collaboration and Internet Computing.

Our paper Towards Adaptive and Proactive Security Assessment for Energy Delivery Systems has been accepted for publication at the 2017 Workshop on Modeling and Simulation of Cyber-Physical Energy Systems, hosted in conjunction with the 2017 Cyber-Physical Systems Week.

I am glad to announce I have successfully defended my PhD 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 using formal specifications. Recently, I have also explored approaches for enhancing the cybersecurity protection of mission-critical Energy Delivery Systems (EDS), by means of security assessment and monitoring techniques.

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. I am also a member of the Cyber Resilient Energy Delivery Consortium (CREDC), a multi-disciplinary and multi-organizational effort for protecting the mission-critical cyber-infrastructure of Energy Delivery Systems (EDS) against security vulnerabilities and threats.


Teaching Experience