Events

Please note: This talk will take place in DC 3317 and online over Zoom.

Joel Reardon, Associate Professor
Department of Computer Science, University of Calgary

Mozilla curates a set of root certificate authorities to validate hostnames for TLS in the Firefox browser. Many other software projects, such as Tor Browser and ca-certificates simply follow Mozilla’s list; other entities, such as Apple and Microsoft, make their own decisions for inclusion with considerations for Mozilla’s decisions and the associated public discussion.

Please note: This master’s thesis presentation will take place online.

Ende Jin, Master’s candidate
David R. Cheriton School of Computer Science

Supervisors: Professors Yizhou Zhang, Ondřej Lhoták

With the growing practice of mechanizing language metatheories, it has become ever more pressing that interactive theorem provers make it easy to write reusable, extensible code and proofs.

Please note: This master’s thesis presentation will take place online.

Owura Asare, Master’s candidate
David R. Cheriton School of Computer Science

Supervisors: Professors Mei Nagappan, N. Asokan

In this thesis, we perform two security evaluations of GitHub’s Copilot with the aim of better understanding the strengths and weaknesses with of Code Generation Tools.

Please note: This PhD seminar will take place online.

Miti Mazmudar, PhD candidate
David R. Cheriton School of Computer Science

Supervisor: Professor Ian Goldberg