Home
Details
Lectures

Reference

Detailed Information

Overview

This course is on computer and software security, and will cover state-of-the-art techniques for increasing the security and reliability of information and computer systems. This course will study both general safety policies and field-specific security problems, with a focus on programming and software systems. Throughout the course, besides classical safety problems and techniques, we will also discuss recent research developments and open research problems.

Potential topics include:

  • Security foundations, policies
  • Software vulnerability and exploitation
  • Static methods, type systems, verification
  • Compiler and program analysis-based methods
  • Security issues in OS
  • Smart phone security

In preparing this course, we thank researchers and professors from M.I.T and for their course content. Especially, we thank prof. Wenliang (Kevin) Du from Syracuce University for his SEED project.

Time & Place

Monday, Tuesday; C

Staff

Instructor:
  • Hua, Baojian; bjhua - ustc.edu.cn
TAs:
  • Jiang, Lei; jxncjl - mail.ustc.edu.cn
  • Zhou, Aiting; zhouat - mail.ustc.edu.cn

Textbook and Reference

There is no required textbook for this course. Instead, before every lecture, we'll post some papers and som other readings material that we'd like to cover. So it's very important that you read these papers in advance. There are also some references on the course web page.

Homework

For each of the assigned papers, one question will be asked, you must write your answer to the question on paper, and submit it BEFORE the class. Your homework will NOT be graded, the only purpose of the homework is just to make sure that you have put your best efforts in preparing the class.

Programming assignment should be attempted individually. If you cannot come up with an answer after trying, you may talk about how to solve this problem with your classmates, the instructors etc., but the final submitted work should be your own ones.

Late homeworks will NOT be accepted, for ANY reasons.

Labs

There are six labs planned, with each of which covers one of the topics discussed. Just as homeworks, labs should also be attempted: you may discuss them on with other, search through the webs, etc., but the final submitted work should be your own ones.

Acknowledgement

The lab materials are based on the SEED project headed by prof. Du, with modifications by us. You may want to consult SEED webpage for extra information.

Evaluation Policy

The final score is evaluated based on homeworks, projects and final test according to:
  • 50% projects
  • 25% midterm test
  • 25% final test