Simon Fraser University
Engaging the World

Course Outlines

Fall 2021 - CMPT 479 D200

Special Topics in Computing Systems (3)

System & Network Security

Class Number: 6369

Delivery Method: In Person

Overview

  • Course Times + Location:

    Sep 8 – Dec 7, 2021: Mon, 4:30–5:20 p.m.
    Burnaby

    Sep 8 – Dec 7, 2021: Thu, 4:30–6:20 p.m.
    Burnaby

  • Prerequisites:

    CMPT 300 with a minimum grade of C-.

Description

CALENDAR DESCRIPTION:

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

COURSE DETAILS:

This is a project-based, research-oriented course at the intersection of mobile systems and software engineering. If you take this course, you will work in a group with other students to carry out a semester-long project. Your semester-long project will first pick a platform-level service on Android (e.g., the Bluetooth stack), re-design and re-implement it using the Rust programming language, and verify/test your implementation using symbolic execution and other automated verification/testing techniques. The emphasis is on exploring how the unique features of Rust can make the design of mobile systems more amenable to automated verification/testing techniques such as symbolic execution. After taking this course, you will gain an understanding about the Android platform, the Rust language, and how to design and implement robust and secure mobile systems. Initially, the course will have lectures to equip you with the necessary background to carry out your project. After the initial phase, the course will have weekly meetings to discuss each group's project. The course will also require paper readings, presentations, and in-class discussions. Each of these course activities will be graded.

Grading

NOTES:

Grading details will be discussed in the first class.

Registrar Notes:

ACADEMIC INTEGRITY: YOUR WORK, YOUR SUCCESS

SFU’s Academic Integrity web site http://www.sfu.ca/students/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

TEACHING AT SFU IN FALL 2021

Teaching at SFU in fall 2021 will involve primarily in-person instruction, with approximately 70 to 80 per cent of classes in person/on campus, with safety plans in place.  Whether your course will be in-person or through remote methods will be clearly identified in the schedule of classes.  You will also know at enrollment whether remote course components will be “live” (synchronous) or at your own pace (asynchronous).

Enrolling in a course acknowledges that you are able to attend in whatever format is required.  You should not enroll in a course that is in-person if you are not able to return to campus, and should be aware that remote study may entail different modes of learning, interaction with your instructor, and ways of getting feedback on your work than may be the case for in-person classes.

Students with hidden or visible disabilities who may need class or exam accommodations, including in the context of remote learning, are advised to register with the SFU Centre for Accessible Learning (caladmin@sfu.ca or 778-782-3112) as early as possible in order to prepare for the fall 2021 term.