BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:StkTokens: Enforcing Well-Bracketed Control Flow and Stack Encapsu
 lation Using Linear Capabilities - Lau Skorstengaard\, Aarhus University
DTSTART:20190318T111500Z
DTEND:20190318T114500Z
UID:TALK121765@talks.cam.ac.uk
CONTACT:Victor Gomes
DESCRIPTION:Capability machines provide the security primitives we need to
  build\nthe secure software of tomorrow. In this presentation\, we present
 \nStkTokens a calling convention for capability machines with linear\ncapa
 bilities that provably ensures well-bracketed control flow and\nlocal stat
 e encapsulation.
LOCATION:FW26
END:VEVENT
END:VCALENDAR