Skip to content. Skip to navigation
McGill Home SOCS Home
Personal tools
You are here: Home Academic Courses Course Profile

COMP- 523: LANGUAGE-BASED SECURITY

Course Summary

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 authentication.

If you are interested and you do not fullfill the requirements, please send the instructor email.


McGill Course Description (Click Here)