This course would cover the design and implementation of secure systems. There will be three parts in the course (1) security threats and exploits in programs (2) mitigation techniques (3) detection techniques

Tentative topics include threat models, popular security attacks like (buffer overflows, return-to-libc, format string, ROPs, heartbleed, side channel analysis, etc.). Techniques for secure system design such as the use of capabilities, SGX, root of trust, and PUFs will be discussed.

Tentative evaluation will be as follows : 50% from coding assignments, 25% for mid-semester exam, 25% for end-semester exam. Optionally, students can choose to do a course project instead of the end-semester exam.

Instructor

Chester Rebeiro

Prerequisites

computer organization/architecture, advanced programming in C, operating systems, data structures and algorithms

Logistics

Theory Classes

Classes will be held from 31/July/2018 in CS34. Slot E.

Tuesdays (11:00 - 12:00)

Wednesday (10:00 - 10:50)

Thursday (8:00 - 8:50)

Friday (16:50 - 17:40) (used only for assignments and tutorials)

TAs

  • Prasanna Karthik
  • Keerthi K.
  • Nikhilesh Kumar Singh