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
Experimental Optimization of Privacy Protection MethodsUlrico CelentanoOulu
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
ProGame – Behavioral Profiling for GamesSusanna Pirttikangas
Ella Peltonen
Lauri Lovén
Mauri Miettinen
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