Software Security, Secure Programming and Computer Forensics




Course staff

Attendees

General information

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

Part 2 (next 7 weeks)

[to be completed soon !]

Past Exams


Some general references

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

week 6 - 07/11
        Part 2 [CyberSecu students only]
week 7 - 14/11
17/11:  An overview of the classical vulnerability detection technique [slides]
            About Disassembling

reading suggestions:

week 8 - 21/11

        24/11(at 9.45 !) :  Static Analysis [slides] + [Dillig slides]

        reading suggestions:
       
week 9 - 28/11

        01/12:  Lab session with Frama-C + discussion on oral presentations
                      (the C programs to play with during this lab session)

week 10 - 05/12

        08/12:  Exercices
week 11 - 12/12

        15/12: Dynamic-Symbolic Execution (slides) [+ Slides from Martin Vechev]

vacations from 17/12 to 03/01

week 12 - 02/01
   
       
05/01: Dynamic Analysis and Fuzzing (slides) [+ some slides from N. Sumner and D. Song]

Playing with PathCrawler: PathCrawler-online and tutorial
Playing with AddressSanitizer: compilation script
     
       

week 13 - 09/01

         oral presentations