Homeworks

Unless otherwise stated, all homeworks are due at 11:59pm on the date marked on the handout. Also check the announcements section of the course website's index page for deadline updates, in case extensions are granted. Written homework should be submitted through Gradescope, please notify the course staff if you have not already received an email to enroll in the relevant Gradescope instance.

You are strongly encouraged to typeset your homework. If the course staff has trouble reading your handwriting, you will not receive points. If you choose not to typeset your solution, then you must print out the provided template, write your solution in the provided space, and scan or photograph it for handin on Gradescope. Handwritten homeworks will not be graded until they are on the template, and those that are handed in otherwise will be returned and subject to the late policy!

In order to submit on Gradescope, your homework will need to be in PDF format. You are highly encouraged to typeset your solutions in LaTeX, and you will find appropriate templates for each assignment below. Your graders strongly prefer LaTeX-typeset solutions, as your work is much more likely to be clear and legible, as well as consistent with the formatting they expect to see. We recognize that certain types of answers, such as those that involve graphical figures or structured formatting, can be difficult or tedious to typeset. In those cases, the template will sometimes give an example in the comments that you are encouraged to emulate, but it is fine to scan a handwritten solution to include in your latex code as a graphic.

Relevant Links

assignment due date handout template
1: Logically safe 2/1 [pdf] [zip]
2: Safe to the last instruction 2/15 [pdf] [zip]
3: Highs and lows of information flow 3/9 [pdf] [zip]
4: Relaxed secrecy and privacy 3/9 [pdf] [zip]
5: Web security and authentication logic 4/24 [pdf] [zip]
6: On Trusting Trust (practice only) [pdf]


Labs

As with homeworks, all labs are due at 11:59pm on the date marked on the handout. Labs should be submitted on Gradescope.

lab due date handout
0: Tiny server redux 2/8 [zip]
1: Pinning down safety 3/9 [pdf][zip]
2: Better control with information flow policies 4/3, Checkpoint on 3/27 [pdf][zip]
3: Break it then fix it 5/4, Checkpoints on 4/22 and 4/29 [pdf]