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

Sharon Goldberg goldbe at cs.bu.edu
Fri Sep 7 10:56:34 EDT 2012

Hi all,

Friendly reminder for today's talk.


---------- 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
To: Steve Homer <homer at cs.bu.edu>
Cc: Sharon Goldberg <goldbe at cs.bu.edu>

                   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


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

More information about the Busec mailing list