Software Security and Secure Programming




Course staff

Attendees

Schedule


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

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

The official timetable is available here:
    https://edt.grenoble-inp.fr/2018-2019?resources=19915

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 Symbolic Execution [slides] [+ slides from D.Song]


reading suggestions:
week 8 -

        27/11:  Dynamic Symbolic Execution [slides] [+ Slides from Martin Vechev]

        reading suggestions
       
week 9 -
       04/12:  Static Analysis ([slides] + [Dillig's slides]) and  work/discussion on oral presentations [Room E212]
reading suggestions
week 10 -
        11/12:  Lab session with Polyspace-Bugfinder

week 11 -
       
18/12: 
Lab session with Frama-C

vacations from 22/12 to 06/01

        week 12 & 13 -

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