General Information



This course introduces the foundations of computer and network security with an emphasis on language-based techniques. It covers a wide range of topics and techniques including classic concepts such as OS and network security, and basic cryptography. It also covers more advanced topics such as type systems and logic-based techniques to ensure secure flow of information. These topics will include:

  • Introduction to security and provacy
  • Program security
  • Access control, authentication
  • Cryptography
  • Firewalls, intrusion detection systems
  • Information-flow security (IFS)
  • Type systems for IFS
  • Temporal logics for IFS
  • Proof carrying code
  • Secure compilation

Location and Time

Instructor: Borzoo Bonakdarpour (follow me on Twitter @TheBorzoo ), 2138 EB
Lectures: Tue, Thu - 3-4:20pm
Office Hours: Thu 4:20-5:00pm


Written assignments: 15%
Midterm Exam: 25%
Final Exam: 25%
Project: 30%
Attendence: 5%

Online Teaching

  • These are not normal times. The most important thing to me is your health and safety. If you have any questions, concerns, issues, you should always feel free to talk to me.
  • Although CSE 825 is designated as a hybrid course, I do not expect any part of the course to require physical presence on campus for lectures, meetings, office hours, exams, etc.
  • All lectures and office hours will be conducted over Zoom. You will receive a Zoom link before the first day classes. If you don't receive it for any reason, please send me an email.
  • All lectures will also be posted online.
  • Since, I tend to have very interactive lectures, you will be required to participat in lectures and office hours with open camera.
  • We will use a Slack channel as a forum to discuss class-wide issues. You are more than welcome to answer other students questions. You will receive an invitation to a Slack channel.

Announcements and Discussion Forum

All announcements discussion forums and course-related communications will posted on the following maling list: TBD. It is your responsibility to subscribe and check the mailing list on regular basis.


You may consult outside sources, such as textbooks as well as discussions with other students for general aspects your assignment, however all such sources must be documented. Failure to do so will result in academic dishonesty charges. The details of your assignment must be done individually. All homework assignments submissions should be made individually. No late assignment is accepted.

Some Rules

  • Your lowest grade will not be dropped and weight distribution will not be changed under any conditions.
  • Deadline of assignments will not be extended.
  • Any grading issues must be reported and discussed within one week. This includes assignments and exams. Any re-grading request after this period will not be considered.

Academic Integrity

All students are expected to adhere to Michigan State academic integrity policies.