[Busec] Stephen Chong colloquium tomorrow + lunch!

Sharon Goldberg goldbe at cs.bu.edu
Tue Mar 26 17:29:10 EDT 2013


All,

A reminder that I'm hosting Stephen Chong at CS colloquium tomorrow at
11AM; Stephen's research is at the intersection of PL and security, so
I hope you will all be able to attend!

As some extra incentive there will be lunch in MCS135 right
afterwards :)

See you tomorrow,
Sharon


---------- Forwarded message ----------
From: Nora Conroy <conroynm at bu.edu>
Date: Mon, Mar 25, 2013 at 9:20 AM
Subject: CS Colloquium this Wednesday
To: "colloq-l at cs.bu.edu" <colloq-l at cs.bu.edu>


CS Colloquium
A Secure Concurrent Language
Stephen Chong, Harvard
Wednesday, March 27, 2013 11am - 1pm in MCS 148


Abstract:
We demonstrate that a practical concurrent language can be extended in
a natural way with information security mechanisms that provably
enforce strong information security guarantees. We extend the X10
concurrent programming language with coarse-grained information-flow
control. Central to X10 concurrency abstractions is the notion of a
place: a container for data and computation. We associate a security
level with each place, and restrict each place to store only data
appropriate for that security level. When places interact only with
other places at the same security level, then our security mechanisms
impose no restrictions. When places of differing security levels
interact, our information security analysis prevents potentially
dangerous information flows, including information flow through covert
scheduling channels. The X10 concurrency mechanisms simplify reasoning
about information flow in concurrent programs. This work is joint with
Stefan Muller, presented at OOPSLA 2012.


Bio: Steve Chong is an Assistant Professor of Computer Science in the
Harvard School of Engineering and Applied Sciences. Steve's research
focuses on programming languages, information security, and the
intersection of these two areas. He is the recipient of an NSF CAREER
award, and an AFOSR Young Investigator award. He received a PhD from
Cornell University, and a bachelor's degree from Victoria University
of Wellington, New Zealand.



-- 
Sharon Goldberg
Computer Science, Boston University
http://www.cs.bu.edu/~goldbe


More information about the Busec mailing list