Karl Levitt
Department of Computer Science
Research: Computer Security, Automated Verification, and Software Engineering
Webpage: http://seclab.cs.ucdavis.edu/
Email: knlevitt@ucdavis.edu
Department of Computer Science
Research: Computer Security, Automated Verification, and Software Engineering
Webpage: http://seclab.cs.ucdavis.edu/
Email: knlevitt@ucdavis.edu