[announce] Preso: "JavaScript Verification: From Browsers to Pages"

[ I apologize if an announcement like this should not be made on this 
list. But do let me know so I won't do it again ;-). ]

TL;DR: OWASP Boston is hosting Ben Lerner on January 8 for a "JavaScript 
Verification: From Browsers to Pages " talk that appears to be in scope 
for this group.

[[
From: Jim Weiler jim.weiler at owasp.org
<http://lists.owasp.org/pipermail/owasp-boston/2013-December/000402.html>

* News, discussion, announcements 6:30 - 7 pm

* Main presentation 7 pm -  - JavaScript Verification: From Browsers to 
Pages

Modern web browsers implement a "private browsing" mode that is intended to
leave behind no traces of a user's browsing activity on their computer.
This feature is in direct tension with support for *extensions*, which let
users add third-party functionality into their browser. I will discuss the
scope of this problem, present our approach to verifying extensions'
compliance with private browsing mode, and sketch our findings on several
real, third-party extensions. I will then briefly describe the toolkit
underlying our approach, and end with a sketch of a newer project, adapting
this approach to the very different-seeming problem of statically catching
errors when using the jQuery library.

Presented by -
Benjamin Lerner has just completed a post-doctoral research position in the
PLT group at Brown University, and is now a lecturer at Northeastern
University.  His research examines the challenges of analyzing client-side
web programming, from the behavior of web pages down through the semantics
of the browser.  He received a PhD in Computer Science from the University
of Washington in 2011, building a platform to analyze conflicts between
browser extensions, and a B.S. in Computer Science and Mathematics from
Yale University.

pizza and soda provided by Akamai
]]

My understanding is that no pre-registration is required and the meeting 
is hosted by Akamai at "Akamai Technologies; 8 Cambridge Center; 
Cambridge, MA".

Please contact Jim for more information.

-Regards, ArtB

Received on Friday, 3 January 2014 20:12:34 UTC