Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

MPI-INF or MPI-SWS or Local Campus Event Calendar

<< Previous Entry Next Entry >> New Event Entry Edit this Entry Login to DB (to update, delete)
What and Who
Title:Formalizing object capabilities
Speaker:David Swasey
coming from:Max Planck Institute for Software Systems
Speakers Bio:
Event Type:SWS Student Defense Talks - Qualifying Exam
Visibility:SWS
We use this to send out email in the morning.
Level:Expert Audience
Language:English
Date, Time and Location
Date:Wednesday, 13 April 2016
Time:14:00
Duration:-- Not specified --
Location:Saarbrücken
Building:E1 5
Room:029
Abstract
Object capabilities let mutually distrustful principals share
private state without giving up integrity, thus ostensibly making
secure programming easier in the presence of buggy or malicious
code. In practice, however, programmers may use object
capabilities incorrectly, creating subtle security flaws. I aim to
enable verification of programs that use object capabilities. In
this work, I model Firefox's use of object capabilities—which is
quite rich, going beyond "standard" patterns described in the
literature—and develop a program logic to prove integrity
properties.
Contact
Name(s):
Video Broadcast
Video Broadcast:NoTo Location:
Tags, Category, Keywords and additional notes
Note:
Attachments, File(s):
Created by:Maria-Louise Albrecht/MPI-KLSB, 07/11/2017 04:01 PMLast modified by:Maria-Louise Albrecht/MPI-KLSB, 07/11/2017 04:15 PM
  • Maria-Louise Albrecht, 07/11/2017 04:15 PM
  • Maria-Louise Albrecht, 07/11/2017 04:03 PM -- Created document.