Events

Filters
Export this event to calendar
iCal
RSS
RSS
Close X

Filter by:

Limit to events where the title matches:
Date range
Limit to events where the first date of the event:
Limit to events where the type is one or more of:
Limit to events tagged with one or more of:
Limit to events where the audience is one or more of:
Monday, July 14, 2025 10:00 am - 11:00 am EDT (GMT -04:00)

Master’s Thesis Presentation • Cryptography, Security, and Privacy (CrySP) • Compiler Support for Constant-Time Programs in LLVM

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

Mehdi Aghakishiyev, Master’s candidate
David R. Cheriton School of Computer Science

Supervisors: Professors N. Asokan, Meng Xu

Wednesday, July 23, 2025 1:00 pm - 2:00 pm EDT (GMT -04:00)

Master’s Thesis Presentation • Formal Methods • Local Theories and Efficient Partial Quantifier Elimination

Please note: This master’s thesis presentation will take place in DC 2310 and online.

Estifanos Getachew, Master’s candidate
David R. Cheriton School of Computer Science

Supervisors: Professors Arie Gurfinkel, Richard Trefler

Wednesday, August 6, 2025 10:00 am - 11:00 am EDT (GMT -04:00)

Master’s Thesis Presentation • Cryptography, Security, and Privacy (CrySP) • Argus: Detecting Access Control Vulnerabilities in Android Framework using Large Language Models

Please note: This master’s thesis presentation will take place in DC 2314 and online.

Haseeb Ur Rehman Faheem, Master’s candidate
David R. Cheriton School of Computer Science

Supervisor: Professor Yousra Aafer