Simon Fraser University
Engaging the World

Course Outlines

Fall 2018 - CMPT 479 D100

Special Topics in Computing Systems (3)

Auto.Software Analy.&Securi

Class Number: 8422

Delivery Method: In Person

Overview

  • Course Times + Location:

    Sep 4 – Dec 3, 2018: Tue, 10:30–11:20 a.m.
    Burnaby

    Sep 4 – Dec 3, 2018: Thu, 9:30–11:20 a.m.
    Burnaby

  • Exam Times + Location:

    Dec 7, 2018
    Fri, 12:00–3:00 p.m.
    Burnaby

  • Prerequisites:

    CMPT 300.

Description

CALENDAR DESCRIPTION:

Current topics in computing systems depending on faculty and student interest.

COURSE DETAILS:

Please note this course is cross-listed with CMPT 886

Special Topics Title: Automated Software Analysis and Security

Software development is a time consuming and error prone process. Most developers still rely on manual processes to generate tests, discover errors, or correct misbehaving programs. Software security is often an afterthought. Program analysis provides tools and techniques that allow developers to push these burdens onto computers, making software both easier to develop and more reliable. This seminar and project based course explores both foundational and emerging research in program analysis and software engineering. Special focus will be given to automated approaches for security, fault tolerance, and program synthesis. Students are expected to learn core techniques used in program analysis and to ultimately apply them. CMPT 379 is recommended but not required. Introductory projects will involve programming in C++. Term projects can be done using a language of student preference.

Topics

  • Static and dynamic program analysis
  • Software security (offense and defense)
  • Automated program synthesis
  • Automated test generation
  • Concurrency and parallelism
  • Smart contracts and blockchain

Grading

  • Paper presentations, paper reviews, class participation 40%
  • Assignments 30%
  • Term project 30%

NOTES:

Grading criteria are subject to change.

Registrar Notes:

SFU’s Academic Integrity web site http://students.sfu.ca/academicintegrity.html is filled with information on what is meant by academic dishonesty, where you can find resources to help with your studies and the consequences of cheating.  Check out the site for more information and videos that help explain the issues in plain English.

Each student is responsible for his or her conduct as it affects the University community.  Academic dishonesty, in whatever form, is ultimately destructive of the values of the University. Furthermore, it is unfair and discouraging to the majority of students who pursue their studies honestly. Scholarly integrity is required of all members of the University. http://www.sfu.ca/policies/gazette/student/s10-01.html

ACADEMIC INTEGRITY: YOUR WORK, YOUR SUCCESS