Toggle navigation
WebCMS3
Search Courses
Login
COMP6131
24T2
Home
Course Outline
Course Forums (ED)
Timetable
Course Work
Lectures
Lab-1
Lab-2
Lab-3
Assignment-1
Assignment-2
Assignment-3
Assessments
Activities
GitHub Repo
Toggle Menu
Resources
Lectures
Lectures
Week 1
active from 27/05/2024
Lecture: COMP6131 Course Introduction
Lecture: Introduction to Software Security Analysis
Lab: C++ Programming Practices
Week 2
active from 03/06/2024
Lecture: LLVM, SVFIR and Control-Flows
Lab: Code Graphs and Control-Flow Reachability
Week 3
active from 10/06/2024
Lecture: Data-Flow and Taint Analysis
Lab: Information Flow Tracking
Week 4
active from 17/06/2024
Lecture: Code Verification and Theorem Prover
Lab: Z3 theorem prover
Week 5
24/06/2024 - 30/06/2024
Lecture: Code Verification Using Symbolic Execution
Lab: Assertion-based Verification using Z3
Week 6: Study break
08/07/2024 - 14/07/2024
There are no resources under this heading.
Week 7
15/07/2024 - 21/07/2024
Lecture: Code Verification using Symbolic Execution
Lab: Assertion-based Verification using Z3
Back to top
COMP6131 24T2 (Software Security Analysis)
is powered by
WebCMS3
CRICOS Provider No. 00098G