In this course, we have studied several aspects of type systems, including type safety and type soundness.
Type systems are useful both at providing documentation and at reducing the potential for errors.
Security is a topic of growing importance because the impact of weak security can range from the personal to the geopolitical. In addition, every violation or potential violation wastes expensive human effort for detection, correction and clean-up. This assignment asks you to study a collection of recent CIAC bulletins, specifically those for Fiscal Year 2001 . Ignore any bulletins outside this range. You must study each of the alerts in the designated range.