Language-Based Security
(CIS 700 (a Special Topics course) at Syracuse U)
Note: parts of this syllabus are subject to change with adequate notice to students.
A research-focused introduction to modern techniques in language-based security. This course is part lecture, part seminar. Students are expected to actively participate and drive paper discussion.
Grading
- 50% – Problem sets – Between 4 and 6
- 10% – Prep / lead a paper discussion
- 40% – Final project, a 2-to-5-week project
Topics
- Classical and intuitionistic propositional logic
- Proof theory / natural deduction
- First-Order Logic
- SAT
- SMT
- Resolution-based theorem proving
- Equality saturation
- Higher-order logic
- Temporal logic
- Hyperproperties
- Multi-level security
- Access control
- Integrity
- Security type systems
- Product programs
- Interactive theorem proving
Collaboration and the Honor Code
-
Please do not cheat in the course.
-
Collaboration is explicitly allowed on many assignments, except for where otherwise noted. All work that a student represents as their own must be completed by the student (with allowed help).
Student Support
Syracuse University values diversity and inclusion; we are committed to a climate of mutual respect and full participation. There may be aspects of the instruction or design of this course that result in barriers to your inclusion and full participation in this course. I invite any student to meet with me to discuss strategies and/or accommodations (academic adjustments) that may be essential to your success and to collaborate with the Office of Disability Services (ODS) in this process.
If you would like to discuss disability-accommodations or register with ODS, please visit their website at http://disabilityservices.syr.edu. Please call (315) 443-4498 or email disabilityservices@syr.edu for more detailed information.
ODS is responsible for coordinating disability-related academic accommodations and will work with the student to develop an access plan. Since academic accommodations may require early planning and generally are not provided retroactively, please contact ODS as soon as possible to begin this process.
Student Mental Health
Mental health and overall well-being are significant predictors of academic success. As such it is essential that during your college experience you develop the skills and resources effectively to navigate stress, anxiety, depression and other mental health concerns. Please familiarize yourself with the range of resources the Barnes Center provides (https://ese.syr.edu/bewell) and seek out support for mental health concerns as needed. Counseling services are available 24/7, 365 days a year, at 315.443.8000.
Discrimination and Harassment
The University does not discriminate and prohibits harassment or discrimination related to any protected category including creed, ethnicity, citizenship, sexual orientation, national origin, sex, gender, pregnancy, disability, marital status, age, race, color, veteran status, military status, religion, sexual orientation, domestic violence status, genetic information, gender identity, gender expression or perceived gender.
Any complaint of discrimination or harassment related to any of these protected bases should be reported to Sheila Johnson-Willis, the Universitys Chief Equal Opportunity & Title IX Officer. She is responsible for coordinating compliance efforts under various laws including Titles VI, VII, IX and Section 504 of the Rehabilitation Act. She can be contacted at Equal Opportunity, Inclusion, and Resolution Services, 005 Steele Hall, Syracuse University, Syracuse, NY 13244-1120; by email: titleix@syr.edu; or by telephone: 315-443-0211.
If you notice any incidents of harassment or discrimination, however minor, please email me. You may wish to use an anonymous email service such as https://anonymousemail.me/. Please feel free to tell me as much as you feel comfortable. I am a mandatory Title IX reporter and must report incidents such as sexual harassment, relationship violence, stalking, etc…