Software Security and Secure Programming




Course staff

Attendees

General information

Part 1 (first 6 weeks)
    classes on Tuesday (11.30 am to 1 pm) and Wednesday (1.45pm to 3.15 pm)

Part 2 (next 6 weeks)
    classes on Tuesday (8.am to 11.15 am)

Past Exams

Some general references

web sites
books and papers
 
On-going tentative schedule ...

week 6 - 12/11
        Part 2 [CySec students only]
week 7 -
20/11:  outline of part2  [slides] + an outline on fuzzing and DSE [slides] [+ Slides from Martin Vechev][+ slides from D.Song]


reading suggestions:
week 8 -

        27/11:  Static Analysis [slides] + [Dillig slides]

        reading suggestions:xpdf
       
week 9 -
       04/12:  Lab session with Frama-C

                    
week 10 -
        11/12:  Lab session with Polyspace-Bugfinder [to be confirmed]

vacations from 22/12 to 06/01

        week 11& 12 -

        8/01 : Oral presentations (part 1)
        15/01: Oral presentations (part 2)