BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Exploring compartmentalisation hypotheses with SOAAP - Khilan Gudk
 a (University of Cambridge)
DTSTART:20121023T151500Z
DTEND:20121023T161500Z
UID:TALK40364@talks.cam.ac.uk
CONTACT:Wei Ming Khoo
DESCRIPTION:Application compartmentalisation decomposes software into sand
 boxed components in order to mitigate security vulnerabilities\, and has p
 roven effective in limiting the impact of compromise. However\, experience
  has shown that adapting existing C-language software is difficult\, ofte
 n leading to problems with correctness\, performance\, complexity\, and mo
 st critically\, security. Security-Oriented Analysis of Application Progra
 ms (SOAAP) is an in-progress research project into new semi-automated tech
 niques to support compartmentalisation. SOAAP employs a variety of static 
 and dynamic approaches\, driven by source code annotations termed compartm
 entalisation hypotheses\, to help programmers evaluate strategies for comp
 artmentalising existing software.
LOCATION:Lecture Theatre 2\, Computer Laboratory\, William Gates Building
END:VEVENT
END:VCALENDAR