Victor Sanchez

My research interests include securing cyber physical systems and discovering emergent vulnerabilities in distributed energy and Internet of Things environments. As part of the NSA INSuRE C project at UNC Charlotte, I work on modeling microgrid and home solar architectures and using lightweight formal methods to uncover architectural “weird machines” that could impact system resilience. I focus on building and experimenting with tools that combine formal modeling, property based testing, and architectural fuzzing to reveal surprising interactions before deployment.

Several themes my work explores are:

• Architectural modeling of microgrids and home solar systems using formal methods
• Property based testing and architectural fuzzing of cyber physical system interactions
• Metrics and experiments to understand the security impact of emergent behaviors