-
on experimental capabilities including defensive and offensive capabilities (such as penetration testing, red teaming, side-channel attacks), and the ability to back them up with strong formal methods applied
Searches related to formal method phd
Enter an email to receive alerts for formal-method-phd positions