Secure Programming - Spring 2008

Instructor :
Ahmed Khademzadeh

Class URL:
http://khademzadeh.mshdiau.ac.ir/teaching/sp/sp8602.html

Textbook :
book cover  Secure Programming with Static Analysis
Brian Chess and Jacob West
Pearson Education, Inc. 2007
ISBN 0-321-42477-8
Reference book :
book cover  19 Deadly Sins of Software Security:
Programming Flaws and How to Fix Them
Michael Howard, David LeBlanc and John Viega
McGraw-Hill/Osborne, 2005
ISBN:0072260858

Schedule :

Announcements:

There are no notices yet!

Exams & Grades

Midterm Exam : Monday - 9 Ordibehesht 1387, 12-14
Final Exam: Tuesday - 11 Tir 1387

Grading

Homeworks and programming assignments: 25%
Midterm exam: 30%
Final exam: 40%
Class participation: 5%

Previous Exams

There are no old exams.

Lecture Slides

1- Introduction

2- The Software Security Problem

3- Introduction to Static Analysis

4- Static Analysis Internals

5- Handling Input

6- PQL Presentation

7- Libpng Presentation

8- Buffer Overflow Presentation

9- JML Presentation

Some Useful Links