Aug 27, 2026

Analyzing Group Chat Encryption in Messaging Applications

This talk details a formal security analysis of group chat encryption algorithms in popular messaging applications like MLS, Session, and Keybase. It introduces Symmetric Sign Encryption (SSE) to model these protocols, identifying critical vulnerabilities such as insider replay and reordering attacks in MLS and Session due to insufficient context binding. The analysis highlights the complexities of key-dependent messages and key reuse, demonstrating how formal methods can pinpoint subtle design flaws and suggest robust mitigations for real-world secure communication.

Aug 27, 2026

Invited Research Talk: Measuring Generalization in EEG Foundation Models

This talk presents a multi-dimensional evaluation and interpretability framework for EEG foundation models. It reveals that current models often fail to outperform supervised baselines for BCI tasks, lack robustness to sparse channels, and exhibit an aperiodic low-frequency bias, making them better at capturing subject-specific rather than task-specific information. The analysis highlights critical deficiencies and suggests future directions for pre-training objectives and data collection to improve generalization.

Aug 27, 2026

TruthTable: A Verifiable Query Engine

TruthTable is a verifiable database engine that produces succinct cryptographic proofs for SQL query execution. It supports a wide range of SQL queries by leveraging query plans, polynomial encoding, and operator-specific PIOPs. It features a query planner with proof-specific optimizations and a novel batch compilation engine (ARCPOP). Benchmarks on TPC-H show average proving times of 55 seconds, verification times of 32 milliseconds, and proof sizes of 24kB, significantly outperforming prior academic and industrial systems in speed and expressiveness.

Aug 27, 2026

AI, Radio Astronomy, and the Search for Life Beyond Earth

Ramiro Caisse Saide presents a multimodal deep-learning approach for technosignature detection in radio astronomy, using observations from Breakthrough Listen at MeerKAT. He investigates combining spectrograms with I/Q signal representations to improve signal detection and classification, particularly in low signal-to-noise environments. The talk also covers his extensive background in AI education, software development, the motivations behind SETI, fundamental radio astronomy concepts, and studies on Earth's own radio leakage.

Aug 27, 2026

AI models can now help run physical science experiments

The Model Hardware Standard (MHS) is a pioneering framework developed by Anthropic and HHMI Janelia to enable AI, specifically Claude, to safely and intelligently operate diverse scientific and manufacturing hardware. By abstracting device-specific communication, MHS dramatically accelerates scientific discovery, from automating complex microscopy tasks and real-time tracking to optimizing high-throughput drug screening, empowering researchers to focus on core scientific questions.

Aug 27, 2026

Can LLMs Write Fast Multi-GPU Kernels? — Simran Arora, Together AI

Simran Arora discusses the critical bottleneck shift in large AI workloads from GPU compute to inter-GPU communication. Her team's solution, ParallelKittens, offers a set of primitives to optimize multi-GPU kernels by leveraging fundamental transfer mechanisms and compute-communication overlapping. They introduce ParallelKernelBench, a benchmark to evaluate AI models' ability to generate such kernels, revealing that while models can handle syntax, they struggle with deeper reasoning about communication patterns and hardware trade-offs.