Course Information

  • Instructor: Sang Kil Cha
  • Time: (Mon./Wed.) 14:30 ~ 15:45
  • Location: N1 #422
  • Grading:
    •   5% Reading Critique
    • 15% Quiz
    • 10% Participation
    • 30% Presentation
    • 40% Project

This course covers advanced topics in software security. Students will be exposed to techniques that are gaining increasing attention in the security research communities. Students will apply several state-of-the-art security techniques to their own term project. Class participation is an essential component of the course. Students will have opportunities to develop their technical writing and software development skills during the semester.

Paper Presentation

  • Each student will present at most three papers during the semaster.
  • Evaluation sheet: PDF
  • Grading:
    • Peer Review: 20%
    • Instructor(s): 80%

Final Submission

  • Each team should submit the followings to KLMS:
    • Your final report in PDF.
    • A ZIP file that contains your project code.

Schedule

(subject to change)

Date Topic Reading Notes
09/05/2016 Introduction to software security [Thompson/CACM1984] Quiz #0
09/07/2016 Memory Safety Overview
09/12/2016 Enforcing Software Integrity (1) [Abadi/CCS2005]
[Carlini/USENIXSEC2015]
[Conti/CCS2015]*
Project idea discussion (via email)
*Reading Critique #1
09/14/2016 추석 (Mid-Autumn Festival)
09/19/2016 Enforcing Software Integrity (2) [Castro/OSDI2006]
[Akritidis/Oakland2008]
[Song/NDSS2016]
Quiz #1
Reading Critique #1 due (before class)
09/21/2016 Enforcing Software Integrity (3) [Kuznetsov/OSDI2014]
[Evans/Oakland2015]
09/26/2016 Advanced Exploitation [Schuster/S&P2015] by 김문범
Quiz #2
*Reading Critique #2 due (before class)
09/28/2016 Advanced Exploitation (2) [Bounov/NDSS2016]* by 김건우
10/03/2016 개천절 (National Foundation Day)
10/05/2016 - [Alvaro/SIGMOD2015] by 이승수
Project Proposal Due
*Reading Critique #3 due (before class)
10/10/2016 - [VanDerVeen/S&P2016]* by 계정오
Quiz #3
10/12/2016 - [Bittau/S&P2014] by 이재혁
10/17/2016 Android Security [Felt/USENIXSEC2011]
[Wei/CCS2014]
Quiz #4
*Reading Critique #4
[Bohme/CCS2016] due (before class)
10/19/2016 Project Checkpoint
10/24/2016 Midterm Week
10/26/2016 Midterm Week
10/31/2016 - [WainYeeAu/CCS2012] by 강희도
11/02/2016 - [Jana/USENIXSEC2016] by 김동관
Quiz #5
11/07/2016 - [Bohme/CCS2016]* by 김연근
11/09/2016 - [Alvaro/SIGMOD2015] by 이승수 (revisited)
11/14/2016 Quiz #6 and Project Checkpoint
11/16/2016 Project Checkpoint
11/21/2016 Automated Reversing [Comparetti/Oakland2009]* by 홍진아
[Lin/FSE2008]
*Reading Critique #5 due (before class)
11/23/2016 Undergraduate admission
11/28/2016 Language-based Security [Necula/TOPLAS2005]
Quiz #7
11/30/2016 Software Fault Isolation [Yee/Oakland2009]*
*Reading Critique #6 due (before class)
12/05/2016 Symbolic Execution [Caballero/CCS2010]
12/07/2016 Symbolic Execution (2) [Peng/USENIXSEC2014]
12/12/2016 SFI & Conclusion Quiz #8
Delayed to 4:00pm
12/14/2016 Final Presentation
12/19/2016 Final Week
12/21/2016 Final Week (Final report due.)