[Colloquium] Reminder: Talk at TTI-C Today @ 3:00pm

[Katherine Cumming]

Toyota Technological Institute at Chicago Talk 
Guest Speaker
Speaker:  Riccardo Pucella, Cornell University
Speaker's homepage:  http://www.cs.cornell.edu/riccardo 
Time:  Thursday, March 24th, 2005 @ 3:00pm
Location:  TTI-C Conference Room
Refreshments provided 
Title:  Reasoning about Security 
Abstract:  The past decade has seen an increase in the amount of work
that deals with security in one way or another, as it pertains, for
instance, to communication protocols, auctions, and access to
distributed resources. There are significant challenges in developing
tools and techniques to specify, model, and verify security properties
of such systems. In recent years, I have focused on developing
frameworks to better express and reason about security properties of
systems in general, and security protocols in particular. My work starts
from the premise that reasoning about security is really reasoning about
what agents (including possible intruders) in a system know; most
security properties get a natural reading in terms of knowledge. This
makes formal theories of knowledge and uncertainty a good foundation on
which to build frameworks for reasoning about security. In this talk, I
will focus on some of the most interesting issues that arise in this
setting. More specifically, I will point out some limitations of formal
models of knowledge for security, and present techniques for overcoming
these limitations, with the added benefit that they can model in a
natural way adversaries with different capabilities. I will also discuss
the relevance of evidence when reasoning quantitatively about security,
and show how it can be used to formally capture certain forms of
knowledge that are difficult to express in other frameworks.

Short Bio:
Riccardo Pucella obtained his B.Sc. in Mathematics and M.Sc. in Computer
Science at McGill University in Montreal, after which he joined Bell
Labs to work on the SML/NJ compiler. He attended Cornell University a
few years later, completing a Ph.D. in Computer Science and working with
Joe Halpern on topics ranging from the theory of security to uncertainty
in AI, with stints exploring programming language semantics and type
systems. He is currently a postdoc at Cornell, working with Fred
Schneider and trying to wrap his head around proactive obfuscation. 
----------------------------------------------------------------- 
If you have questions, or would like to meet the speaker, please contact
Katherine at 773-834-1994 or kcumming at tti-c.org.   For information on
future TTI-C talks and events, please go to the TTI-C Events page:
http://www.tti-c.org/events.html.  TTI-C (1427 East 60th Street,
Chicago, IL  60637)
 
 
 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.uchicago.edu/pipermail/colloquium/attachments/20050324/c1a8c3ab/attachment.htm