ASSET Seminar: The marriage of logic and learning: will it be a happily ever after?, Jyotirmoy Deshmukh (University of Southern California)

Levine 307 3330 Walnut Street, Philadelphia, PA, United States

Presentation Abstract: Huge strides have made in the widespread adoption of autonomous and human-in-the-loop cyber-physical systems (CPS), partly fueled by dramatic improvements in learning-based techniques. An important aspect of such CPS applications is that they are safety-critical: any undesirable behavior by such systems can cause serious harm to human lives or property. The formal methods […]

CIS Seminar: “Proofs, Cryptography and Quantum Information”

Wu and Chen Auditorium (Room 101), Levine Hall 3330 Walnut Street, Philadelphia, PA, United States

Many cryptographic protocols will be rendered insecure if sufficiently powerful quantum computers are built. While this remains at least a few decades away, there is another, more immediate, problem: many widely-used security analysis techniques rely on properties of classical information that do not hold in the quantum setting, rendering the security of many schemes unclear […]

ASSET Seminar: Using Large Language Models to Build Explainable Classifiers, Chris Callison-Burch (University of Pennsylvania)

Levine 307 3330 Walnut Street, Philadelphia, PA, United States

ABSTRACT: I'll present research on using large language models (LLMs) to build explainable classifiers.   I will show off work from my PhD students and collaborators on several recent research directions: Image classification with explainable features  (https://arxiv.org/abs/2211.11158) Text classification with explainable features (work in progress) The importance of faithfulness in explanations (https://arxiv.org/abs/2209.11326) (Time permitting) A […]

CIS Seminar: “Software Security Challenges in the Era of Modern Hardware”

Wu and Chen Auditorium (Room 101), Levine Hall 3330 Walnut Street, Philadelphia, PA, United States

Today’s hardware cannot keep secrets. Indeed, the past two decades have seen the discovery of a slew of attacks where an adversary exploits hardware features to leak software’s sensitive data. These attacks have shaken the foundations of computer security and caused a major disruption in the software industry. Fortunately, there has been a saving grace, namely the widespread adoption […]

CIS Seminar: “Rethinking System Design for Expressive Cryptography”

Wu and Chen Auditorium (Room 101), Levine Hall 3330 Walnut Street, Philadelphia, PA, United States

Expressive cryptography, including Secure Multi-Party Computation (SMPC) and Fully Homomorphic Encryption (FHE), has the potential to enable transformative new applications, drawing significant interest from industry. Unfortunately, it is often slow and resource-intensive, making those applications difficult to realize. For example, SMPC enables multiple organizations (e.g., hospitals) to run joint computations on their data (e.g., for […]

ASSET Seminar: Decision-Aware Learning for Global Health Supply Chains, Osbert Bastani (University of Pennsylvania)

Levine 307 3330 Walnut Street, Philadelphia, PA, United States

Abstract: Machine learning algorithms are increasingly used in conjunction with optimization to guide decision making. A key challenge is aligning the machine learning loss with the decision-making loss. Existing solutions have limited flexibility and/or scale poorly to large datasets. We propose a principled decision-aware learning algorithm that uses a Taylor expansion of the optimal decision […]

CIS Seminar: “Methods of Data Lookup with Hashing”

Levine 307 3330 Walnut Street, Philadelphia, PA, United States

We will discuss methods of data lookup, with a focus on hash sets / tables, including motivation, properties, and variants. This will be in the context of a "CS 2" or data structures course. We will assume a basic familiarity with programming and comfort with implementing resizable lists; as well as knowledge of (but not […]

CIS Seminar: “Birds of a Feather Flock Together: How Homophily Leads to Segregation, Inequality, and Inefficiency and What We Can Do About It”

Wu and Chen Auditorium (Room 101), Levine Hall 3330 Walnut Street, Philadelphia, PA, United States

Humans exhibit a strong tendency to associate with those similar to them. This tendency, termed homophily in the social sciences, impacts both the structure of society and its outcomes. In this talk, Nicole Immorlica discusses the mathematics of homophily. She first quantifies its theoretical implications for geographic segregation. We will see that even tolerant societies […]

CIS Seminar: “Secure Computation with Minimal Interaction”

Wu and Chen Auditorium (Room 101), Levine Hall 3330 Walnut Street, Philadelphia, PA, United States

In the current digital and decentralized world, there is an imminent need for technologies that can provide a fast approach to compute on private data while guaranteeing secrecy. Secure Multiparty Computation (MPC) is one such cryptographic technology that provides an efficient approach to compute on private data. At a high level, MPC is a distributed […]

CIS Seminar: “Cryptography, Security, and Law”

Wu and Chen Auditorium (Room 101), Levine Hall 3330 Walnut Street, Philadelphia, PA, United States

My research focuses on the security, privacy, and transparency of technologies in societal and legal context. My talk will focus on three of my recent works in this space, relating to (1) preventing exploitation of stolen email data, (2) enhancing accountability in electronic surveillance, and (3) legal risks faced by security researchers.