ShiftLeft Third Annual Workshop

Date: November 10, 2026

Location: Biskopshuset, Biskopsgatan 1, Lund (Event page)


Agenda

Morning Session — 09:00–12:00

Time Speaker Affiliation Title / Topic Duration
09:00–09:40 — — Internal project meeting (academic partners only) 40 min
09:45–10:15 — — Welcome to external participants — Coffee / Snack 30 min
10:15–10:20 Musard Balliu, Christoph Reichenbach KTH, Lund University Welcome, Introduction to ShiftLeft 5 min
10:20–11:00 David Sands Chalmers University of Technology LLMbda Calculus 40 min
11:00–11:30 Alexandre Bartel, Yufei Wu Umeå University Umeå Update + Bypassing Dynamic Taint Analysis via Type Confusion 30 min
11:30–12:00 Musard Balliu, SiKai Lu KTH KTH Update + DiffSec: Differential Static Analysis for Change-Impact Security Findings 30 min
12:00–13:00 — — Lunch Break —

Session 2 — 13:00–14:20

Time Speaker Affiliation Title / Topic Duration
13:00–13:40 Christoph Reichenbach Lund University Tightening the Loops: Faster Source-Level Static Analysis in JastAdd/IntraJ 40 min
13:40–14:00 Rebekka Wohlrab Chalmers University of Technology Discussing Human-Autonomy Teaming in a Software Supply Chain Context 20 min
14:00–14:20 Qian Guo Lund University Breaking Optimized HQC: The First Cache-Timing Full Decryption Oracle Key-Recovery Attack in Post-Quantum Cryptography 20 min
14:20–14:45 — — Break — Coffee / Snacks 25 min

Session 3 — 14:45–16:00 (Industrial Session & Guests)

Time Speaker Affiliation Title / Topic Duration
14:45–15:05 Eva Haslum Axis AXIS Practices across Prevention, Defense, and Response 20 min
15:05–15:15 Karl Norrman Ericsson Staying Healthy when Proving is Easy 10 min
15:15–16:00 All — Discussion: Software Supply Chain in the AI Era 45 min

Contact:
For more information, please contact Christoph Reichenbach at christoph.reichenbach@cs.lth.se and Musard Balliu at musard@kth.se.

Supporting Institutions

WASP
KTH
Chalmers University of Technology
Lunds University
Umeå University