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)


Winter 2013
McGill Course Calendar Details

Instructor:

  • Brigitte Pientka
        Phone: 398-2583
        E-mail: bp AT cs DOT mcgill DOT ca
        Office Hours: M 2:30 - 4:30, W 3:30 - 5:00