[Busec] Fwd: First Friday PL/Security/Theory Talk - Pedro Baltazar, 3:00 on 9/7, MCS 148

Sharon Goldberg goldbe at cs.bu.edu
Wed Sep 5 05:50:27 EDT 2012


Hello, and welcome back!

We're still sorting out the date and time for our regular group
meeting this semester.  But, in the meanwhile, I'm hosting a talk on
some work at the intersection of security and PL at this Friday's
theory seminar (3PM) that some may find interesting...

Best,
Sharon

---------- Forwarded message ----------
From: Steve Homer <homer at cs.bu.edu>
Date: Tue, Sep 4, 2012 at 7:54 PM
Subject: First Friday PL/Security/Theory Talk - Pedro Baltazar, 3:00
on 9/7, MCS 148


                   Boston University Computer Science
                         and BU RISCS Center


                Pedro Baltazar (UT Lisbon, Portugal)


Title: On extensions of session types for distributed applications.

Date:  Friday, September 7

Time/Place: 3:00 in Room 148 of MCS at 111 Cummington Street

Abstract:

Communication protocols in distributed systems often specify logical
requirements and the roles of the parties involved in the
communications, namely for enforcing security policies or task
assignment purposes. Ensuring that implementations follow role-based
protocol specifications is challenging, especially in scenarios found,
e.g., in business processes and web applications, where multiple peers
are involved, single peers impersonate several roles, or single roles
are carried out by several peers. We present a type-based analysis for
statically verifying role-based multi-party interactions, based on a
simple pi-calculus model and prior work on conversation types.
Moreover, we present a second system with assume and assert
operations, typed using a session discipline that incorporates
refinement formulae written in a fragment of Multiplicative Linear
Logic. Our main results, for both systems, ensure well-typed systems
follow the role-based protocols prescribed by the types, including
systems where roles have dynamic distributed implementations.

Host: Sharon Goldberg



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


More information about the Busec mailing list