You can view a detailed list of all publications, including abstracts, the papers, thematic descriptions, as well as cross-references to software, datasets, etc.
Please look on my personally maintained pages.
|CSCI 0190 - Accelerated Introduction to Computer Science|
|CSCI 1729 - Programming Languages Lab|
|CSCI 1730 - Design and Implementation of Programming Languages|
|CSCI 1730 - Introduction to Programming Languages|
|CSCI 1951E - Computer Systems Security: Principles and Practice|
|CSCI 2730 - Programming Language Theory|
|CSCI 2951Y - Special Topics in Formal Semantics and Notional Machines|
|EMCS 2410 - Human Factors in Computer Security and Privacy|