CS348: Introduction to Information Security

Logistics

• Instructor: Kihong Heo ([email protected])
• TAs (mailing list: [email protected])
  • TBD
• Time: Mon/Wed 09:00 - 10:30
• Location: N1 117
• Office hour:
  • Instructor: Mon 10:30 - 11:30
  • TAs: TBD

Course Description

Grading

• Homework 50%
• Final exam 40%
• Participation 10%

Textbook

• Lecture slides will be provided

Homework

This course includes written and programming assignments. Students will use a few tools which are described here. All submissions will be managed using Github. For each assignment, a unique invitation URL for Github Classroom will be posted in the issue board. Once you accept the invitation, a private repository for your assignment will be created. You can push as many commits as you want before the deadline. We will grade the final commit of your main branch.

The late homework policy is as follows:

• 80% credit for one day late
• 50% credit for two days late
• NO credit given after two days late

Academic Integrity Violation

Students who violate academic integrity will get F. See the KAIST CS honor code.

Schedule

Week	Topics
0	Functional Programming in OCaml
9	Access Control
10	Web Security
11	Software Vulnerabilities
12	Safe Programming Systems
13	Fuzzing
14	Static Analysis (1)
15	Static Analysis (2)
16	No Classes (Final week)

Hall of Fame

See the outstanding achievement of our friends here.

Advanced Course

• CS492: Program Reasoning
• CS524: Program Analysis