Tentative Lecture Schedule

 

The tentative lecture flow will be as shown in the table. The course schedule is to be expected to change.

 

Lecture/Date

Topics

Slides

Week 1:

No Class

 

Week 2: Jan 11

 

Introduction

Secure Software Development Models/Methods

(Lecture 1)

(Source Related Reading Materials)

Week 2: Jan 13

Secure Software Development Models/Methods (Cont..)

(Lecture 2)

(Source Related Reading Materials) 

Week 3: Jan 18, 20

Building Security In (Book Available Online)

Initial Project ideas - discussion (Hassan Takabi)

(Lecture 3)

(Book: Building Security In)

Week 4:

Jan 25

 

 

Jan 27

Secure Programming (Seacord's book - accessible through Safari)

Introduction to Cloud Computing and Security (by Hassan Takabi)

(Lecture 4)

 

Strings

(Lecture 5)

(Check reading materials)

Week 4: Feb 1, 3

 

Secure Programming (Seacord's book - accessible through Safari)

Reading assignment: Section 2.9 Mitigation Strategies for Strings

Pointer Subterfuge

 

(Continue Lecture 4)

 

 

(Lecture 6)

Week 5: Feb 8, 10

Continue Lecture 6

Dynamic Memory Management (Reading assignment: read Mitigation Strategies section)

(Lecture 7)

Week 6: Feb 15, 17

 Race Conditions

(Chapter on Integer Security is a Reading assignment – read this chapter as I had mentioned earlier)

(Lecture 8)

 

Week 7: Feb 22, 24

 

(I am out of town Feb 21 – 23) – will have class on Feb 24

 

Week 8: March 1, 3

Paper presentations

 Paper List

Week 9: March 8, 10

Spring Break

Week 10: March 15, 17

Out of town on March 15

Project progress update on March 17

Week 11: March 22, 24

Java Security

(From book (link to Safari Books Online): Enterprise Java Security: Building Secure J2EE Applications) (Chap 1 Overview); (Part III : Chap 7  J2SE Security Fundamentals)

(Lecture 9)

Week 12: March 29, 31

Java Security

(Project progress update)

(Lecture 10)

Week 13: April 5, 7

No classes

 

Week 14: April 12, 14

Formal Techniques

Lecture 11: Read Chapter 20 of Computer Security: Arts and Science (Bishops); Also Chapter 15 of "The Craft of Systems Security" by Sean Smith et. al -- both are available through Safari

 

Lecture 12: UMLSec (Check papers by Jan Jurjen)

(Lecture 11)

(Lecture 12)

 

(UML Overview)

Week 15: April 19, 21

Formal Techniques, Testing

Week 16: April 26, 28

Project presentations