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 (2pm to 3.30 pm)

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

Past Exams

Some general references

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

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


reading suggestions:
week 8 -

        07/12:  Static Analysis [slides] + [Dillig slides]

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

                    
week 10 -
        21/12:  Lab session with Polyspace-Bugfinder

vacations from 22/12 to 07/01

        week 11 -

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