Current Projects

Project TitlePrincipal
Automated and Assurable Security Policy Migration to Software-defined NetworkingXin SunBall State
Bridging the reverse engineering gap from Ada to fUMLHuseyin ErginBall State
Code Duplication ++Dolores Zage
Wayne Zage
Nathan White
Ball State
How Far Could Mathematics and Rigor Take Us?Lan LinBall State
Improving Software Code Security with Automated Vulnerability Analysis and Inference with Multi-Case Based ReasoningShaoen WuBall State
Integrating Modeling to Increase Abstraction in the CodeHuseyin ErginBall State
Interactive Module Dependency Visualization for Go Language ProgramsPaul BuisBall State
Knowledge Discovery Across Segmented NetworksPatrick Butler
Naren Ramakrishnan
Virginia Tech
PROTECT - exPloring the tRadeOff beTweEn privaCy and uTilityUlrico CelentanoOulu
Shared-Memory MiddlewareTodor CooklevIPFW
Testing Internet of Things: An Enhanced Combinatorial Testing and Graph-based TechniqueEric WongUT-Dallas