Cybersecurity

Research Frontiers in Stochastic Program Analysis Binary Vulnerability Discovery

Development of probabilistic static analysis techniques for discovering memory safety and logic vulnerabilities in compiled binary programs.

All Cybersecurity PhD categories