Please note: This seminar will take place in DC 1302.
Oana Balmau, Assistant Professor
School of Computer Science, McGill University
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 seminar will take place online.
John Speed Meyers
Security Data Scientist, Chainguard
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 PhD seminar will take place online.
Bailey Kacsmar, PhD candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Florian Kerschbaum
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.
David Radke, PhD candidate
David R. Cheriton School of Computer Science
Supervisors: Professors Kate Larson, Tim Brecht
Please note: This PhD seminar will take place online.
Miti Mazmudar, PhD candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Ian Goldberg
Zhiying (Gin) Jiang, PhD candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Jimmy Lin
In this thesis, we aim at improving interpretability and generalizability through restricting representations. We choose to approach interpretability by focusing on attribution analysis to understand which features contribute to prediction on BERT, and to approach generalizability by focusing on effective methods in low-data regime.
Please note: This PhD defence will take place online.
Yuqing Xie, PhD candidate
David R. Cheriton School of Computer Science
Supervisors: Professors Ming Li, Jimmy Lin