Software Safety and Security, sss12

Latest News

Please help us improve the course by filling out the course questionaire (see end of this page)!
The first and second homework assignment have been marked (see Assignments for solutions) and deposited with the CSC student expedition, and the grades have been reported in RAPP.
The workshop report deadline has been postponed to March 13th (during your third lab presentation).
The third laboratory assignment handout has been updated with additional hints on March 2nd (useful only if you are stuck). Exercises are still the same.
Warning: many of the problems you will encounter in the third laboratory assignment have already been discussed in the second exercises session. It is strongly advised to have done and understood the second exercises session before starting the third lab.
The final version of the third laboratory assignment has been published (see Labs). The deadline will probably be the 13th of March (13:00-17:00). However, the 5th of March deadline is maintained for those that would be ready by this date.
The third laboratory assignment deadline may be postponed to March 13, from 13:00 to 17:00. Not finalized, still under discussion. If this is a problem for anyone, contact "gurvan at kth.se" as soon as possible.
The workshop article report is due March 12.
A (preliminary) third laboratory assignment has been published (see Labs). It is due on March 5 at the laboratory session.
See below for an explanation of the grading scheme.
Group compositions for the third homework assignment (workshop) have been published (see Assignments). If you are not in a group, contact me asap with a preferred date and preference ordered list of papers. I will add you to a group or create a new one.
Information for the third assignment has been posted. You must form your groups by 17/2 18:00
The paper to "have a look at" for the lecture of 14/2 has been added to the outline. Deeper reading of it will be expected after the lecture.
Here is the course schedule and a preliminary course outline.
The course is administered through the Rapp system. Click here to log into the system.

Course Structure

The course consists of lectures, exercise sessions, take-home asignments, and labs. For formal reasons, the teaching is divided into lectures (F) and tutorials (Ö), but in fact there will be some kind of "lektionsundervisning", where theory and examples are mixed. Labs are to be done at home, and the only scheduled slots are for presenting your work. Make sure you start the labs as early as possible - in most cases not much prior knowledge is required to get started, and you'll want installation troubles and so forth out of the way well before the lab is due. Also the schedule is tight, so you may find it hard going to catch up once you're behind.

Requirements and Grading

Three labs (2.5 credits in total, grades F,E,C) focusing on practical modelling and tool use, and three hand-in assignments (5 credits in total, grades F-A) focusing on the theory. The final grade(F-A) is determined from the grades of all labs and assignments by the following scheme, assuming all labs and assignments have been passed: labs give 0-2 points each and assignments give 0-4 points each, as determined by their grade in the obvious fashion; the final grade is obtained from the sum of points: E:0-3, D:4-7, C:8-11, B:12-14, A:15-18. For example, labs graded C,E,D and assignments graded B,E,A give 10 points alltogether and thus final grade C.

Resits (sv. omtentor) are by mutual arrangement with the course leader.

Staff

Course leader and lecturer: Dilian Gurov, e-mail dilian at csc.kth.se, phone 08-790 81 98.
Second lecturer: Gurvan Le Guernic, e-mail gurvan at kth.se. (room 1433)
Course assistant: Musard Balliu, e-mail musard at csc.kth.se.

Visiting address: Osquars backe 2, floor 4, room 4417.

Earlier examinations

none so far

Course Board (sv. Kursnämnd)

A course board is a formal way for students to influence the content and form of the education. It is formed at the beginning of the course.