[Colloquium] Talk by Rafael Pass, MIT, on Thursday March 9th, 2006

[Margery Ishmael]

DEPARTMENT OF COMPUTER SCIENCE - TALK

Date: Thursday, March 9, 2006
Time: 3:30 p.m.  **Please note the later time**
Place: Ryerson 251

-------------------------------------------

Speaker:  RAFAEL PASS

From:  MIT - CSAIL

Url:  http://theory.csail.mit.edu/~pass/

Title:  Concurrency and the Security of Protocols

Abstract:

Cryptographic protocols have been developed for a variety of tasks,  
including electronic auctions, electronic voting systems, privacy  
preserving data mining and more. The Internet allows for the  
concurrent execution of cryptographic protocols. Such concurrency  
severely challenges their security.

In this talk we introduce a novel technique for transforming any  
``stand-alone'' secure protocol (i.e., one whose security is only  
guaranteed if executed in isolation) into one that is secure under  
concurrent executions. Contrary to previous results in the  
literature, this result is established without assuming ANY  
additional trust.

***The talk will be followed by refreshments in Ryerson 255***

-------------------------------------------------------

Host:  Lance Fortnow

People in need of assistance should call 773-834-8977 in advance.

For information on future CS talks: http://www.cs.uchicago.edu/events