BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Security-Oriented Analysis of Application Programs - Khilan Gudka 
 (University of Cambridge)
DTSTART:20140130T150000Z
DTEND:20140130T160000Z
UID:TALK49936@talks.cam.ac.uk
CONTACT:Eiko Yoneki
DESCRIPTION:Application compartmentalization decomposes software into sand
 boxed components in order to mitigate security vulnerabilities\, and has p
 roven effective in limiting the impact of compromise. Experience shows\, h
 owever\, that compartmentalizing existing C-language software is difficult
 \, triggering correctness\, performance\, and most critically\, security p
 roblems.\n\nThis talk introduces Security-Oriented Analysis of Application
  Programs (SOAAP)\, a set\nof LLVM-based analysis and simulation technique
 s that support software developers in exploring broad compartmentalization
  spaces available for each application.\n\nProgrammers annotate source cod
 e with compartmentalization hypotheses that notify SOAAP of past vulnerabi
 lities\, security goals such as data confidentiality\, performance objecti
 ves\, and a proposed compartmentalization strategy. SOAAP then evaluates t
 he hypothesis through a blend of static and dynamic analysis\, informing t
 he programmer of potential data consistency bugs\, security policy violati
 ons and expected performance.\n\nBio: Khilan Gudka is a Research Associate
  in the Security group at the University of Cambridge Computer Laboratory.
  Prior to this he did his PhD at Imperial College London. His research int
 erests include software compartmentalisation\, capability systems\, static
 /dynamic program analysis\, compilers/runtimes and concurrency.\n
LOCATION:SS03\, Computer Laboratory\, William Gates Builiding
END:VEVENT
END:VCALENDAR