CS 280G call for talks

[Luca de Alfaro]

We need volunteers that would like to give talks in CS 280G, as well
as suggestions for invited speakers. I would very much appreciate if
you could provide either (or both!).

Luca

[Vishwanath Raman]

Can we call George Necula? It would be great to have him. I met him last weekend and he is working now for a start-up part-time. By the way, I also met Corina Pasereanu.. She obviously knows you and was saying they are working on interface automata. She is on the CAV program committee I noticed..

[Vishwanath Raman]

I forgot to mention George asked me to thank you for helping him pick the Stanford Court Hotel for POPL.

--
--
Vishwa

[Avik]

I can give a talk *after* Jan 28, based on a recent paper with Bruno
Blanchet:

--------
"Automated formal analysis of a protocol for secure file sharing on
untrusted storage"

Abstract: We study formal security properties of a state-of-the-art
protocol for secure file sharing on untrusted storage, in the
automatic protocol verifier ProVerif. As far as we know, this is the
first automated formal analysis of a secure storage protocol.
The protocol, designed as the basis for the file system Plutus,
features a number of interesting schemes like lazy revocation and key
rotation. These schemes improve the protocol's performance, but
complicate its security properties. Our analysis clarifies several
ambiguities in the design and reveals some unknown attacks on the
protocol. We propose corrections, and prove precise security
guarantees for the corrected protocol.
---------------

Thanks,
-Avik.