For this assignment, you should read the paper Certification of Programs for Secure Information Flow, linked here

The format of the paper summary should be 1 - 2 pages and must be submitted in PDF form. It should include the following 4 sections, each of approximately the same length:

• Summary: Provide a brief summary of the paper, its main ideas, and supporting evidence for those ideas.
• Strengths: Indicate the scientific contributions of the paper and the particular benefits of the approach used to support the main thesis.
• Weaknesses: Indicate limitations of the main idea of the paper or areas in which the justification of the paper was insufficient to support the main thesis.
• Future Work: Propose extensions to the paper that may yield a distinct scientific contribution. Your proposed future work should not restate and future work described in the paper itself.

• email drewdavidson@ku.edu
• office: 2050 Eaton Hall
• zoom: link