Class project for Trustworthy Computing