[PRL] talk

[Matthias Felleisen]

Everyone --

Riccardo is a PL researcher (cat theory, CML, extensions of ML) who 
over the last few years got into formal-logic part of security. He has 
worked with the likes of Andy Gordon, Prakash, and John Reppy. I highly 
recommend that you attend his talk and give us feedback as to whether 
you could see him as an extension of PRL in a new direction.

In general, we will have several PRL-ish talks in the near future by 
people who could end up on your PhD committee. Attend as many as you 
can, ask questions, probe the speaker, and give us feedback.

Thanks -- Matthias



Begin forwarded message:

> From: Rachel Kalweit <rachelb at ccs.neu.edu>
> Date: March 28, 2005 9:29:50 AM EST
> To: colloq at lists.ccs.neu.edu
> Subject: [Colloq] Reminder: Hiring Talk, Monday, 3/28/05, 2pm - 
> Riccardo Pucella
> Reply-To: rachelb at ccs.neu.edu
>
> College of Computer and Information Science Colloquium
>
> Presents:
> Riccardo Pucella
> Computer Science Department, Cornell University
>
> Who will speak on:
> Reasoning about Security
>
> Monday, March 28, 2005
> 2:00pm
> 366 West Village H
> Northeastern University
>
> 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.
>
> Biography:
> 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.
>
> Host: Matthias Felleisen
>
>
>
> _______________________________________________
> Colloq mailing list
> Colloq at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/colloq
>
>
>
>
> _______________________________________________
> Colloq mailing list
> Colloq at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/colloq
>