Plume
research @ inria
interested in cryptography, type systems...
i post on my blog sometimes (never)