Max-Planck-Institut für Informatik
max planck institut
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:Automated verification of equivalence properties forcryptographic protocols
Speaker:Steve Kremer
coming from:Inria Nancy
Speakers Bio:
Event Type:CISPA Distinguished Lecture Series
Visibility:D1, D2, D3, D4, D5, SWS, RG1, MMCI
We use this to send out email in the morning.
Level:Public Audience
Date, Time and Location
Date:Thursday, 10 March 2016
Duration:60 Minutes
Building:E9 1 - CISPA
Room:Lecture Hall, ground floor
Formal, symbolic techniques for modelling and automatically analyzing
security protocols are extremely successful and were able to discover
many security flaws. Initially, these techniques were mainly developed
to analyze authentication and confidentiality properties. Both these
properties are trace properties and efficient tools for their
verification exist. In more recent years anonymity-like properties have
received increasing interest. Many flavors of anonymity properties are
naturally expressed in terms of indistinguishability and modeled as an
observational equivalence in process calculi. We will present recent
advances in the verification of such indistinguishability properties and
illustrate their usefulness on examples from electronic voting and
RFID protocols.
Name(s):Sabine Nermerich
EMail:--email address not disclosed on the web
Video Broadcast
Video Broadcast:NoTo Location:
Tags, Category, Keywords and additional notes
Attachments, File(s):
Created by:Sabine Nermerich/AG4/MPII/DE, 02/24/2016 10:56 AMLast modified by:Uwe Brahm/MPII/DE, 03/10/2016 07:01 AM
  • Sabine Nermerich, 02/24/2016 10:59 AM -- Created document.