Mon 21 Oct 2024 10:00 - 10:30 at San Gabriel - Authorisation and responsibility Chair(s): Patrick Cousot

A novel definition of responsibility analysis based on abstract interpretation has been recently proposed bi Cousot et al. One of the main distinguishing features of this approach with respect to the existing notions of causality in the literature, is the incorporation of the observer’s viewpoint. Responsibility considers actions as responsible based on what the observer can understand of the behaviors of interest when analyzing the execution traces and concerning the specific capabilities of the observer. While the other existing approaches to causality implicitly refer to an omniscient observer who knows everything that occurred. In this paper, we are interested in further investigating the observer’s role in identifying the responsible action of a given behavior of interest.

Mon 21 Oct

Displayed time zone: Pacific Time (US & Canada) change

09:00 - 10:30
Authorisation and responsibilitySAS at San Gabriel
Chair(s): Patrick Cousot
09:00
60m
Tutorial
A New Language for Expressive, Fast, Safe, and Analyzable Authorization
SAS
Emina Torlak Amazon Web Services, USA
10:00
30m
Full-paper
On the Role of Cognizance in Responsibility
SAS
Laura Canaia , Mila Dalla Preda University of Verona
Pre-print