Current Projects

Project TitlePrincipal
Automated and Assurable Security Policy Migration to Software-defined NetworkingXin SunBSU
Bridging the Reverse Engineering Gap from ADA to fUMLHuseyin ErginBall State
Code Duplication ++Dolores Zage
Wayne Zage
Nathan White
Ball State
Compiler Tools for CPI Protection - Phase 2Eli Tilevich
Tam Chantem
Charles Clancy
How Far Could Mathematics and Rigor Take Us?Lan LinBSU
Improving Software Code Security with Automated Vulnerability Analysis and Inference with Multi-Case Based ReasoningShaoen WuBSU
Interactive Module Dependency Visualization for Go Language ProgramsPaul BuisBall State
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 WongUTD
Update and Analysis of the TCP Authentication Option (TCP-AO)Clare Sullivan
Rahel Fainchtein
Shrey Arora