Formal Methods

Research Frontiers in Strand Space Threat Analysis and Synthesis

Formal methods for modeling and verifying security protocols using strand space theory to detect attacks and synthesize defenses.

All Formal Methods PhD categories