Description: The Verisec Project aims to apply advances in the field of formal verification to computer security. At present, we are investigating the use of software model-checking to find security vulnerabilities in server code.
Funding: MITACS
Project Team: Thomas Hart, Kelvin Ku, Ou Wei, Arie Gurfinkel, Marsha Chechik
Publications:
Status: Active.