Asif Kamal Turzo, PhD

A study of principles and practices for development of safe and secure software. This course focuses on the design and implementation of secure software. It uses security design patterns and secure coding practices to eliminate the accidental insertion of vulnerabilities into code and to mitigate the risk of security vulnerabilities.

Course in presentation of formal model-based methods of software development. Review of mathematical foundations for formal methods. Formal languages and techniques for specification and design, including specifying syntax using grammars, finite state machines, and Petri nets. Analysis and verification of specifications and designs. Use of assertions, invariants, and proofs. Automated program and design transformation

A study of principles and practices for development of safe and secure software. This course focuses on the design and implementation of secure software. It uses security design patterns and secure coding practices to eliminate the accidental insertion of vulnerabilities into code and to mitigate the risk of security vulnerabilities.

Offered as needed to present advanced material to graduate students.

Prerequisite: Completion of three core courses. Research leading to submission of a formal thesis. This course provides a thesis experience, which offers a student the opportunity to work on a comprehensive research topic in the area of computer science in a scientific manner. Topic to be agreed in consultation with a supervisor. A written thesis must be completed in accordance with the rules of the Graduate School and the College of Engineering. Graded A-F.