Michael Hicks Contact: mwh@cs.umd.edu Projects Verification of Hyperproperties Trustworthy and Composable Software Systems with Contracts Empirical Models for Vulnerabilities and Attacks
