• HOME
  • RESEARCH
  • STUDENTS
  • COURSES
  • HIRING!

  • Formal Methods for Systems Security
    • Spring 2025 (COMP 590/790-132)
    • Spring 2023 (COMP 590/790-132)
    • Spring 2017 (COMP 790-132)
    • Fall 2014 (COMP 790-132)
    • Fall 2013 (COMP 790-132)
  • Security Concepts
    • Fall 2024 (COMP 435)
    • Fall 2023 (COMP 435)
    • Fall 2022 (COMP 435)
    • Fall 2021 (COMP 435)
    • Fall 2020 (COMP 435)
    • Fall 2019 (COMP 435)
    • Fall 2017 (COMP 435)
    • Fall 2016 (COMP 590-132)
  • Logical Foundations
    • Spring 2022 (COMP 590/790-132)
    • Spring 2021 (COMP 790-132)
  • Hardware Security
    • Spring 2019 (COMP 790-132)
    • Spring 2016 (COMP 790-132)
  • Software Security
    • Spring 2018 (COMP 790-132)
    • Spring 2015 (COMP 790-132)
    • Spring 2014 (COMP 790-132)