University Bulletin 2016-17

Cyber Assurance

*Filter this list of courses alphabetically, by prefix, by title, by keyword, or by department of instruction.
Jump To:

Course Listings

  • CYB 399
    Conc and Distr Computing
    3 cr

    This course focuses on security issues in concurrent and distributed systems. Security features in the current advent of cloud computing are vital. Example topics include secure multi-threading, agent-based security, security policy composition, secure compartmentalization and more.

    Pre-requisite: CSC 311 Minimum Grade of C and CSC 322 Minimum Grade of C
  • CYB 400
    Network and OS Vulnerabilities
    3 cr

    This course takes a systems approach to detection and analysis of cyber vulnerabilities as they relate to both the network and operating system. Topics include common historical vulnerabilities and exploitation tactics, detection of intrusions and malware, vulnerability analysis and common tools, and best cyber assurance practices to reduce vulnerability footprint.

    Pre-requisite: CSC 311 Minimum Grade of C and CSC 322 Minimum Grade of C
  • CYB 401
    Cyber System Verification I
    3 cr

    This course serves as the introduction for system verification applicable to both software and hardware domains. The course provides an introduction to formal methods, focusing on system modeling and reasoning via system logic proofs based on propositional and predicate logic. Other topics include Hoare Logic and Binary Decision Diagrams.

    Pre-requisite: MA 126 Minimum Grade of C and MA 267 Minimum Grade of C
  • CYB 402
    Cyber System Verification II
    3 cr

    This course is the second in the systems verification for both the software and hardware domains. The course focuses on simulatability and the use of model checkers to verify and test system security properties for cyber systems with an emphasis on Linear Temporal Logic and Computational Tree Logic.

    Pre-requisite: CYB 401 Minimum Grade of C
  • CYB 403
    Implementing Secure Systems I
    3 cr

    This course serves as the introduction for secure systems which focuses on building and evaluating secure hardware. In this course students learn the fundamentals of Hardware Description Languages (HDLs) (VHDL or Verilog) with synthesis of simple cryptographic circuits onto Field Programmable Gate Arrays (FPGAs). This relatively new computing paradigm blurs the distinction between the hardware/software interface making FPGAs an attractive platform for both secure hardware and software development.

    Pre-requisite: CSC 320 Minimum Grade of C
  • CYB 404
    Implementing Secure System II
    4 cr

    This course is heavily project focused and aimed to provide team development of a secure hardware design using a HDL and synthesized on a FGPA platform. Implementation topics include, but not limited to: anti-tamper technologies, side-channel countermeasures, and the design and implementation of Intellectual Property Protection (IPP) hardware features.

    Pre-requisite: CYB 403 Minimum Grade of C
  • CYB 405
    Cyber Warfare
    3 cr

    This course provides an in-depth study of the nature of Cyber Warfare and its impact on cyber system security and information assurance. It provides a foundational understanding of both strategic and tactical effects of cyber warfare. Additional topics include legal aspects, problems related to positive retribution, and issues relating to cause and effect or in other terms cyber battle damage assessment. A key focus is on the national information, infrastructure, its potential vulnerabilities, and the impact of vulnerability exploitation at both the strategic and tactical levels. Prerequisite: Senior Standing.

  • CYB 496
    Cyber Assurance Internship
    0 cr

    The CYB internship program is designed to give students practical experience cyber security and information assurance. Students are required a total of 320 internship hours (8 week summer internship) as part of the CYB program requirements.