Prof. Dr. Birgit Pfitzmann Phone +41-44-724 8262 IBM Zurich Research Lab Fax +41-44-724 8953 Säumerstrasse 4 Mail bpf[at]zurich.ibm.com CH-8803 Rüschlikon PGP key
Member of the Network Security and Cryptography Research Group at IBM's Zurich Research Laboratory.
Linking formal methods and cryptography. Highlights: Introduction of reactive simulatibility, also known as UC for its composability properties (2000). Cryptographically justifying a Dolev-Yao model under active attacks (2003). Actual protocol proofs with a theorem prover based on this model (2006) (Overview slides)
Federated identity management, in particular web single signon and attribute-exchange protocols like Passport, SAML, Liberty, and WS-Federation.
Risk and Compliance, in particular Regulations Expressed As Logical Models (REALM).
Enterprise privacy, in particular dynamic policy aspects.
Program co-chair of IEEE Symposium on Security and Privacy 2006 and 2007.
2002 onwards: Our IBM group list.
Until 2001 in Sirene list.
Last modified: Wed, 14 Mar 2007 12:02