COMP 523 Language-based Security

3 credits · Computer Science · Faculty of Science · Not scheduled for 2026–2027

State-of-the-art language-based techniques for enforcing security policies in distributed computing environments. Static techniques (such as type- and proof-checking technology), verification of security policies and applications such as proof-carrying code, certifying compilers, and proof-carrying …

Prerequisite courses: COMP 302, COMP 330

Plan your whole degree in myDegree. Fit COMP 523 and everything it needs into a plan, term by term. Open myDegree

Source: McGill Course Catalogue. myDegree is an independent student project, not affiliated with McGill University.