BEGIN:VCALENDAR
VERSION:2.0
PRODID:Linklings LLC
BEGIN:VTIMEZONE
TZID:America/Los_Angeles
X-LIC-LOCATION:America/Los_Angeles
BEGIN:DAYLIGHT
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
TZNAME:PDT
DTSTART:19700308T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=2SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
TZNAME:PST
DTSTART:19701101T020000
RRULE:FREQ=YEARLY;BYMONTH=11;BYDAY=1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20260730T152640Z
LOCATION:Exhibit Hall
DTSTART;TZID=America/Los_Angeles:20260728T175800
DTEND;TZID=America/Los_Angeles:20260728T175800
UID:dac_DAC 2026_sess306_WIP3305@linklings.com
SUMMARY:Tactician: A Formal Workflow for Discovering Unintended Interactio
 ns Among Microarchitectural Defenses
DESCRIPTION:Kartik Ramkrishnan, Stephen McCamant, Pen Yew, and Antonia Zha
 i (University of Minnesota)\n\nMicroarchitectural attacks continue to expa
 nd, prompting designers to combine multiple defenses within the same proce
 ssor. Yet these defenses are typically evaluated in isolation, raising a k
 ey problem: when integrated, do they still uphold their security guarantee
 s? To address this, we need a systematic way to model defense behaviors, r
 eason about their timing and state interactions, and detect when compositi
 ons violate each other's assumptions and specifications. We introduce a li
 ghtweight event-based analysis framework that exposes such issues early in
  the design process. Using it, we identify several problematic defense int
 eractions, demonstrate one as an exploitable timing channel in GEM5, and s
 how that a low-overhead fix (<3%) resolves it.\n\nTrack: Student\n\n
END:VEVENT
END:VCALENDAR