Bài giảng "Mật mã và ứng dụng: An toàn phần mềm, lỗi phần mềm" cung cấp cho người học các kiến thức: Một số lỗi phần mền thường gặp, các biện pháp an toàn (kiểm thử (Testing), kiểm định hình thức (Formal Verification), lập trình an toàn (Secure Coding)). .