CMPSC 447 Software Security

  • Course Info
  • Schedule
  • Homeworks
  • Links
  • Homework 1: Experiencing buffer overflows. Due time: Jan 30th by midnight.
  • Homework 2: Experiencing format string vulnerabilities. Due date: Feb 10th by midnight.
  • Homework 3: Experiencing fuzzing. Due date: Feb 27th by midnight.
  • Homework 4: Symbolic execution. Due date: Mar 18th by midnight.
  • Homework 5: Rust warm up. Due date: Mar 31st by midnight.
  • Homework 6: Trees in Rust. Due date: Apr 10th by midnight.
  • Homework 7: Hoare logic. Due date: Apr 18th by midnight.
  • Homework 8: Reference Monitors. Due date: Apr 29th by midnight.