2024 Distinguished Lecture Series

Meet world-renowned researchers at lectures hosted by the School of Computing Science. These are open to students, researchers and those working in industry and education to share the latest leading-edge research. Admission is free of charge.

Contact is Steve Ko (@steveyko@sfu.ca).

Speakers

Elisa Bertino

Date: Thursday, March 14, 2024

Time: 11:30 AM -12:30 PM PST

Location:TASC 1 9204, Burnaby campus

Talk Title: Security of Cellular networks

Abstract: As the world moves to 5G cellular networks and next-generation is being envisioned , security is of paramount importance and new tools are needed to ensure it. In the talk, after discussing motivating trends in wireless communications, we present LTEInspector a model-based testing approach for cellular network protocols. LTEInspector combines a symbolic model checker and a cryptographic protocol verifier in the symbolic attacker model. Using it, we uncovered 10 new attacks along with 9 prior attacks, categorized into three abstract classes (i.e., security, user privacy, and disruption of service), in three procedures of 4G LTE. To ensure that the exposed attacks pose real threats and are indeed realizable in practice, 8 of the 10 new attacks have been validated and their accompanying adversarial assumptions have been tested in a real testbed. We then present results obtained by 5GReasoner, which extends the 5GReasoner to 5G protocols. We then overview on-going research projects.

Biography:Elisa Bertino is Samuel Conte professor of Computer Science at Purdue University. She serves as Director of the Purdue Cyberspace Security Lab (Cyber2Slab). Prior to joining Purdue, she was a professor and department head at the Department of Computer Science and Communication of the University of Milan. She has been a visiting researcher at the IBM Research Laboratory in San Jose (now Almaden), at Rutgers University, at Telcordia Technologies. She has also held visiting professor positions at the Singapore National University and the Singapore Management University.  Her recent research focuses on security and privacy of cellular networks and IoT systems, and on edge analytics for cybersecurity.  Elisa Bertino is a Fellow member of IEEE, ACM, and AAAS. She received the 2002 IEEE Computer Society Technical Achievement Award for “For outstanding contributions to database systems and database security and advanced data management systems”, the 2005 IEEE Computer Society Tsutomu Kanai Award for “Pioneering and innovative research contributions to secure distributed systems”, the 2019-2020 ACM Athena Lecturer Award, and the 2021 IEEE 2021 Innovation in Societal Infrastructure Award. She is currently serving as ACM Vice-President.

Martin Grohe

Date: Thursday, February 1, 2024

Time: 11:30 AM - 12:30 PM PST

Location: TASC 1 9204, Burnaby campus

Talk Title: The Logic of Graph Neural Networks

View Seminar Recording

Abstract: Graph neural networks (GNNs) are deep learning models for graph data that play a key role in machine learning on graphs. A GNN describes a distributed algorithm carrying out local computations at the vertices of the input graph. Typically, the parameters governing this algorithm are acquired through data-driven learning processes. After introducing the basic model, in this talk I will focus on the expressiveness of GNNs: which functions on graphs or their vertices can be computed by GNNs? Understanding the expressivenness will help us understand the suitability of GNNs for various application tasks and guide our search for possible extensions. Surprisingly, the expressiveness of GNNs has a clean and precise characterisation in terms of logic and Boolean circuits, that is, computation models of classical (descriptive) complexity theory.

Biography: Martin Grohe is a Professor for Theoretical Computer Science at RWTH Aachen University. He received his PhD in Mathematics at Freiburg University in 1994 and then spent a year as a visiting scholar at Stanford and the University of California at Santa Cruz. Before joining the Department of Computer Science of RWTH Aachen in 2012, he held positions at the University of Illinois at Chicago, the University of Edinburgh, and the Humboldt University at Berlin. His research interest are in theoretical computer science interpreted broadly, including logic, algorithms and complexity, graph theory, theoretical aspects of machine learning, and database theory.