NTHRYS › PhD Assistance › Cybersecurity

Cybersecurity

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Symbolic Execution Path Explosion Mitigation Strategies

Development of constraint solving techniques to mitigate path explosion in symbolic execution for large-scale vulnerability analysis.