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
01/07/2024 - 05/07/2024
There are no resources under this heading.
Week 7
08/07/2024 - 12/07/2024
Lecture: Code Verification using Symbolic Execution
Lab: Assertion-based Verification using Z3
Week 8
15/07/2024 - 19/07/2024
Lecture: Abstract Interpretation Foundations
Lab: Basic concepts and examples
Week 9
22/07/2024 - 26/07/2024
Lecture: Abstract Interpretation for Code Analysis and Verification
Lab: Manual and Automated Abstract Interpretation
Week 10
29/07/2024 - 02/08/2024
Lecture: Buffer Overflow Detection using Abstract Interpretation
Lab: Buffer Overflow Detection Implementation and Testing
Back to top
COMP6131 24T2 (Software Security Analysis)
is powered by
WebCMS3
CRICOS Provider No. 00098G
