BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Safe Shell Scripting with Capabilities and Contracts - Scott Moore
 \, PhD student\, Harvard
DTSTART:20140729T141500Z
DTEND:20140729T151500Z
UID:TALK53372@talks.cam.ac.uk
CONTACT:Laurent Simon
DESCRIPTION:*Abstract:*\nThe Principle of Least Privilege suggests that so
 ftware should be executed with no more authority than it requires to accom
 plish its task. Current security tools make it difficult to apply this pri
 nciple: they either require significant modifications to applications or d
 o not facilitate reasoning about combining untrustworthy components.\nWe p
 ropose Shill\, a secure shell scripting language. Shill scripts enable com
 positional reasoning about security through declarative\nsecurity policies
  that limit the effects of script execution\, including the effects of pro
 grams invoked by the script. These security policies are a form of documen
 tation for consumers of Shill scripts\, and are enforced by the Shill exec
 ution environment.\nWe have implemented a prototype of Shill for FreeBSD. 
 Our evaluation indicates that Shill is a practical and useful system secur
 ity tool\, and can provide fine-grained security guarantees.\n\n*Bio:*\nSc
 ott Moore is a PhD student in the Programming Languages group at Harvard U
 niversity. Currently\, he is working with Stephen Chong on improving the s
 ecurity of commodity operating systems.\nIn general\, he is interested in 
 programming language techniques and formal methods that help programmers w
 rite safe\, correct\, and understandable software.
LOCATION:Lecture Theatre 2\, Computer Laboratory\, William Gates Building
END:VEVENT
END:VCALENDAR