[cap-talk] Security and languages talk

[Toby Murray]

Some good references on previous language talks:

Marc Stiegler's Google TechTalk "From Desktops to Donuts" is excellent
and would serve as a great starting point, I believe. In it, he
demonstrates the utility of an OCap language not just for implementing
secure software (e.g. by giving a demonstration of CapDesk written in E)
but also for enabling code review (e.g. by giving a demonstration of the
Sash powerbox in Emily and conducting a small code review of its
security properties).
Video: http://video.google.com/videoplay?docid=-7961423532989255419

David Wagner's Invited Talk at PLAS '06 on OCap languages is more
general but from what I've gathered third-hand, has been well received.
Video: http://www.youtube.com/watch?v=EGX2I31OhBE
Slides: http://www.cs.berkeley.edu/~daw/talks/PLAS06.ppt



On Sat, 2008-05-03 at 22:29 -0400, Ivan Krstić wrote:
> I'm directing much of my recently-gained spare time[0] towards a few  
> things I've wanted to work on for a while, but haven't had the time in  
> the course of my breakneck two years with OLPC. One such thing is,  
> after giving a bunch of high-profile talks about systems security,  
> writing a short one about security and programming languages.
> 
> The Boston Lisp folks invited me to give the talk[1] on May 27th, so  
> the audience is a fairly clueful programming crowd without any  
> necessary prior exposure to language security and capability ideas.  
> I'll be talking for 25 minutes: covering the basic ideas and looking  
> briefly at things like E, Joe-E, Caja and CaPerl.
> 
> Questions for this crowd:
> 
> * Have you seen any _great_ short introductory capability and
>    language security talks before? What made them great?
> 
> * What do you think are things that I absolutely must cover?
> 
> * If this was your first brush with the relevant topics, what could
>    I say that would really pique your interest?
> 
> Cheers,
> 
> 
> 
> [0] <http://radian.org/notebook/maintaining-clarity>
> [1] <http://radian.org/notebook/talk-language-security>
> 
> --
> Ivan Krstić <krstic at solarsail.hcs.harvard.edu> | http://radian.org
> 
> _______________________________________________
> cap-talk mailing list
> cap-talk at mail.eros-os.org
> http://www.eros-os.org/mailman/listinfo/cap-talk