Department of Computer Science Seminars

April 16, 2025

Elisa Bertino
Purdue University 
"The Persistent Problem of Software Insecurity" 
[more info] [Zoom Link]

April 14, 2025

Javam Machado
Federal University of Ceará (UFC), Brazil
"Differentially Private Analysis of Graphs" 
[more info] [Zoom Link]

March 28, 2025

Varun Narayanan
UCLA
"Perfectly/Statistically Secure MPC over Layered Graphs with Optimal Corruption Thresholds" 
[more info] [Zoom Link]

March 25, 2025

Fan Yao
 University of Central Florida
"Understanding and Enhancing Microarchitecture Security in the Era of AI and Emerging Hardware" 
[more info] [Zoom Link]

March 14, 2025

Yuchen Zhang
New York University
"Combating Cyber Attacks by Securing the Software Lifecycle" 
[more info] [Zoom Link]

March 12, 2025

Arka Rai Choudhuri
Nexus 
"Foundations and Advancements in Cryptographic Proofs" 
[more info] [Zoom Link]

March 10, 2025

Yossi Oren
Ben Gurion University of the Negev 
"All Computers are Identical, and Other Lies we Tell Ourselves about Computer Design" 
[more info] [Zoom Link]

March 7, 2025

Imtiaz Karim
Purdue University 
"Systematic Security Analysis of Cellular Network Specifications and Implementations" 
[more info] [Zoom Link]

March 6, 2025

Chongzhou Fang
University of California, Davis 
"Cloud System Security: From Cloud Orchestration to Hardware Attacks" 
[more info] [Zoom Link]

March 4, 2025

Jiaxin Guan
New York University 
"Space Jammed: Cryptography against Space-Bounded Adversaries" 
[more info] [Zoom Link]

March 3, 2025

Nusrat Zahan
North Carolina State University 
"Evaluation of Security Controls Toward the Enhancement of Software Supply Chain Security" 
[more info] [Zoom Link]

February 24, 2025

Rajeev Alur
University of Pennsylvania 
"Neurosymbolic Programming" 
[more info] [Zoom Link]

February 21, 2025

Takuya Ito
IBM T.J. Watson Research Center 
"Measuring artificial intelligence through a science of generalization: Perspectives from computer science, cognitive science, and neuroscience" 
[more info] [Zoom Link]

February 17, 2025

Shinan Liu
University of Chicago 
"Weaving an Intelligent Net with More Connected, Accessible, and Reliable Machine Intelligence" 
[more info] [Zoom Link]

February 13, 2025

Kieran Murphy
University of Pennsylvania 
"Restricting information flow in deep learning for interpretability and insight" 
[more info] [Zoom Link]

February 12, 2025

Haotian Zhang
University of Texas at Arlington
"Advancing Binary Code Analysis: Bridging Foundational Techniques and AI-Driven Innovations" 
[more info] [Zoom Link]

February 10, 2025

Sebastian Zimmeck
Wesleyan University
"Implementing Privacy Rights on the Internet: From Laws to Systems" 
[more info] [Zoom Link]

February 7, 2025

Soneya Binta Hossain
University of Virginia
"Solving the Test Oracle Problem with Program Analysis and Generative AI" 
[more info] [Zoom Link]

January 31, 2025

Yanxue Jia
Purdue University
"User-Centric Privacy via Cryptography" 
[more info] [Zoom Link]

January 29, 2025

Jingxi Xu
Columbia University
"Robot Learning with Sparsity and Scarcity" 
[more info] [Zoom Link]

January 27, 2025

Mengyu Liu
University of Notre Dame
"Enhancing Safety of Cyber-Physical Systems in Real Time" 
[more info] [Zoom Link]

January 24, 2025

Shivvrat Arya
University of Texas at Dallas
"Neural Solvers for Fast, Accurate Probabilistic Inference" 
[more info] [Zoom Link]

January 22, 2025

Hau Chan
University of Nebraska-Lincoln
"AI-Empowered Collective Decision-Making for Improving Vitality of Communities" 
[more info] [Zoom Link]

December 11, 2024

Ahmed Tanvir Mahdad
Texas A&M University
"New Frontiers in Authentication and Side-Channels in Emerging Platforms: 2FA Attacks, Sensor Exploits, and AR/VR Security" 
[more info] [Zoom Link]

December 10, 2024

Yihan Du
University of Illinois at Urbana-Champaign
"Why is RLHF Data-Efficient in Policy Optimization?" 
[more info] [Zoom Link]

December 9, 2024

Tsung-Chi Lin
Johns Hopkins University
"Designing User-Centered Interfaces for Human-Robot Interaction" 
[more info] [Zoom Link]

November 20, 2024

Bhavani Thuraisingham
The University of Texas at Dallas
"Trustworthy Artificial Intelligence for Securing Transportation Systems" 
[more info] [Zoom Link]

October 23, 2024

C. Mohan
Hong Kong Baptist University, China; Tsinghua University, China and Former IBM Research Fellow, USA
"The Data Landscape: Trends and Directions" 
[more info] [Zoom Link]

October 16, 2024

Divyakant Agrawal
University of California at Santa Barbara
"Trust in the Untrusted World?" 
[more info] [Zoom Link]

September 30, 2024

Christos H. Papadimitriou
Columbia University
"Building a brain" 
[more info] [Zoom Link]

September 11, 2024

Divesh Srivastavai
Database Research at AT&T
"Towards High-Quality Data for Responsible Data Science" 
[more info] [Zoom Link]

May 8, 2024

Xiali (Sharon) Hei
University of Louisiana at Lafayette
"Investigate and Mitigate the Attacks Caused by Out-of-Band Signals" 
[more info] [WebEx]

April 26, 2024

Shahram Ghandeharizadeh
FLSLab
"Intelligent 3D Multimedia Displays using Flying Light Specks" 
[more info] [WebEx]

April 10, 2024

Zichen Gui  
ETH Zurich
"Why Designing and Implementing Encrypted Search is Hard?" 
[more info] [WebEx]

April 8, 2024

Liang Wang  
Princeton University
"A Holistic View of Internet Security" 
[more info] [Zoom Link]

March 25, 2024

Bahruz Jabiyev  
Dartmouth University
"Security Challenges of Distributed Content Delivery on the Web" 
[more info] [WebEx]

March 20, 2024

Nikolaos Tziavelis  
Northeastern University
"A New Generation of Query Processing for Advanced Data Analytics" 
[more info] [WebEx]

March 11, 2024

Guannan Wei 
Purdue University
"Types and Metaprogramming for Correct, Safe, and Performant Software Systems" 
[more info] [WebEx]

March 4, 2024

Kaushal Kafle
William & Mary
"Investigating the Latent Security and Privacy Risks in Consumer Software Systems" 
[more info] [WebEx]

February 28, 2024

Moshe Vardi
Rice University
"AI and Democracy" 
[more info] [Zoom Link]

February 26, 2024

Tapti Palit
Purdue University 
"Program Analysis for Software Security" 
[more info] [Zoom Link]

February 14, 2024

Yanan Guo
University of Pittsburgh
"Security Vulnerabilities in Modern Computing Hardware: Causes and Consequences" 
[more info] [WebEx]

February 12, 2024

Muslum Ozgur Ozmen
Purdue University
"Achieving Compositional Safety and Security in IoT Environments" 
[more info] [Zoom Link]

February 9, 2024

Yan Long
University of Michigan
"Privacy and Security of Sensing in Cyber-physical Systems" 
[more info] [WebEx]

February 5, 2024

Ning Luo
Northwestern University
"Going From Strength to Strength: Synergizing Formal Methods and Cryptography" 
[more info] [WebEx]

January 31, 2024

Konstantinos Kallas
University of Pennsylvania
"Programmable Software Systems for Correct High-performance Applications" 
[more info] [WebEx]

January 25, 2024

Tomer Galanti
Center for Brains, Minds, and Machines at MIT
"Fundamental Problems in AI: Transferability, Compressibility and Generalization" 
[more info] [Zoom Link]

January 23, 2024

Arslan Khan
Purdue University
"Securing embedded systems using compartmentalization" 
[more info] [Zoom Link]

January 19, 2024

Hyungsub Kim
Purdue University
"Defeating Cyber and Physical Attacks in Robotic Vehicles" 
[more info] [WebEx Link]

December 13, 2023

Ziming Zhao
SUNY Buffalo
"HOLMES: Holistic and Hardware-assisted Control-Flow Security for Microcontroller Systems" 
[more info] [WebEx Link]

December 11, 2023

Huining Li
SUNY Buffalo
"Privacy-aware Computing in Mobile Health Systems" 
[more info] [WebEx Link]

November 20, 2023

Michael Houle
New Jersey Institute of Technology
"Local Intrinsic Dimensionality and Machine Learning: The Dynamical Systems Perspective" 
[more info] [WebEx Link]

November 15, 2023

Murat Kantarcioglu
University of Texas at Dallas
"Securing Big Data in the Age of Artificial Intelligence"
[more info] [WebEx Link]

September 13, 2023

Marek Rusinkiewicz
Dean Emeritus NJIT
"From AI to Cybersecurity (and back?)"
[more info] [Zoom Link]

March 31, 2023

Chenghong Wang
Duke University
"Balancing Privacy with System Guarantees: Key to Practical Private Databases"
[more info] [Zoom Link]

March 21, 2023

Dr. Behrooz Omidvar-Tehrani
AWS AI Labs
"Data-Informed Interaction Learning"
[more info] [Zoom Link]

March 10, 2023

Saurabh Kadekodi
Google
"Designing Exascale Distributed Systems"
[more info] [WebEx Link]

March 3, 2023

Simon Oya
University of Waterloo
"A principled approach to privacy design"
[more info] [WebEx Link]

February 22, 2023

Constantinos Chamzas 
Rice University
"Learning and Planning for Robotic Manipulation: Bringing Theory to Practice"
[more info] [WebEx Link]

February 21, 2023

Juan Zhai 
Rutgers
"Software Quality Assessment via Specification Synthesis"
[more info] [WebEx Link]

February 17, 2023

Nathan Malkin 
University of Maryland
"Privacy for Proactive Intelligent Assistants, or: How To Design for Something That Doesn't Exist (Yet)"
[more info] [WebEx Link]

February 17, 2023

Jacques Klein 
University of Luxembourg
"A Journey Through Android App Analysis: Solutions and Open Challenges"
[more info] [WebEx Link]

February 9, 2023

Michael J. DeLucia 
U.S. Army Research Laboratory
"Machine Learning Enhanced Network Security"
[more info] [WebEx Link]

February 8, 2023

Jessica Shi 
MIT
"Bridging Theory and Practice in Parallel Graph Processing"
[more info] [WebEx Link]

February 6, 2023

Kasthuri Jayarajah
Center for Real-time Distributed Sensing and Autonomy (CARDS) at UMBC
"Designing Systems for Collaborative Intelligence in Pervasive Environments"
[more info] [WebEx Link]

January 27, 2023

Sri AravindaKrishnan Thyagarajan
NTT Research
"Cryptography For Fast and Scalable Distributed Applications"
[more info] [WebEx Link]

January 23, 2023

Seyedhamed Ghavamnia
Stony Brook University
"Attack surface reduction through system calling filtering"
[more info] [WebEx Link]

January 18, 2023

Anrin Chakraborti
Duke University
"Cryptographically Secure Systems for Modern Applications"
[more info] [WebEx Link]

December 7, 2022

Zhihao Yao
University of California, Irvine
"Doublethink Vulnerabilities and System Security"
[more info] [WebEx Link]

November 16, 2022

Michael Houle
The University of Melbourne, Australia
"Local Intrinsic Dimensionality: An Extreme-Value-Theoretic Foundation"
[more info] [WebEx Link]

November 3, 2022

Dor Bitan
Simons Institute for the Theory of Computing at UC Berkeley
"Using Zero-Knowledge to Reconcile Law Enforcement Secrecy and Fair Trial Rights in Criminal Cases"
[more info] [WebEx Link]

September 21, 2022

Avigdor Gal
Technion - Israel Institute of Technology
"Loch Data and Other Monsters: on Creating Data Ecosytems, the Intelligent Way"
[more info] [WebEx Link]

April 29, 2022

Indrakshi Ray 
Colorado State University
"Cyber Security of Embedded Networks in Heavy Vehicles"
[more info] [WebEx Link]

April 27, 2022

Robert Kozma
Center for Large-Scale Intelligent Optimization and Networks
Department of Mathematics, University of Memphis
"Energy-Aware Intelligence: Biological and Technical Systems"
[more info] [WebEx Link]

March 30, 2022

Daniele Panozzo
Courant Institute, NYU
"Black-Box Finite Element Analysis"
[more info] [WebEx Link] 

March 9, 2022

Samira Mirbagher Ajorpaz
UC San Diego
"Proactive and Adaptable Architecture for Security and Performance"
[more info] [WebEx Link]  

March 4, 2022

William Hallahan
Yale University
"Automated Approaches for Analysis and Synthesis"
[more info] [WebEx Link] 

February 28, 2022

Jiaoyang LI
University of Southern California
"Intelligent Planning for Large-Scale Multi-Agent Coordination"
[more info] [WebEx Link]

February 25, 2022

Jin Sun
Cornell Tech, New York
"Visual Analysis of People in Context"
[ more info] [WebEx Link]

February 23, 2022

Yueqi Chen
Pennsylvania State University &  Northwestern University
"Securing Operating Systems Kernels with Fewer Shots"
[more info] [WebEx Link] 

Dongkuan Xu
Pennsylvania State University
"Resource-efficient Deep Learning: Democratizing AI at Scale"
[more info] [WebEx Link]

February 18, 2022

Souyoung Jin
MIT
"Cross-Modal Learning for Video Understanding"
[more info] [WebEx Link]

February 14, 2022

Pratik Soni
Carnegie Mellon University
"Foundations of Advanced Cryptography"
[more info] [WebEx Link]

February 11, 2022

Martin Kellogg
University of Washington
"Verification for Working Developers"
[more info] [WebEx Link]

February 9, 2022

Cong Shi
Rutgers University, NJ
"Security Vulnerabilities and Defenses in Emerging Mobile Applications (AR/VR and Voice Assistant Systems)"
[more info] [WebEx Link]

February 7, 2022

Song Li
Johns Hopkins University
"Dig Deeper - Mining Object Related Vulnerabilities via Static Analysis"
[more info] [WebEx Link]

February 4, 2022

Junqiao Qiu
Michigan Technological University
"Model-Centric Speculative Parallelization for Scalable Data Processing"
[more info] [WebEx Link]

February 3, 2022

Meisam Mohammady
CSIRO Data61 & Data Science Institute at Columbia University
"Novel Approaches to Preserving Utility in Privacy Enhancing Technologies"
[more info] [WebEx Link]

January 25, 2022

Adithya Vadapalli
University of Waterloo
"DPFs to the rescue: Applications of Distributed Point Functions to Secure Multiparty Computations"
[more info] [WebEx Link]