Interests of the Program Committee Members

• David Basin:
  Security Protocols, modeling, verification, access control, middleware security, certification

• Iliano Cervesato:
  Logical foundations of computer security, specification languages for security protocols, computational logic

• Hubert Comon:
  Cryptographic protocols, semantics, automated deduction, decision results, rewriting, constraints

• Edward Felten:
  Information technology and the law, information security, mobile code

• Andrew Gordon:
  Type-based security, crypto protocols, program logics

• Jonathan Herzog:
  Cryptographic protocols and formal methods, computational cryptography

• Fabio Massacci:
  Protocol verification, logics for access control, formal models for Web services security, security requirement engineering

• Catherine Meadows:
  Specification and verification of cryptographic protocols, denial of service

• John Mitchell:
  Language-based security, probabilistic polynomial-time protocol analysis, java bytecode

• Andrei Sabelfeld:
  Language-based security, concurrent programming, static analysis, mobile code, covert channels

• Pierangela Samarati:
  Security policies and models, authorizations, access control, data protection, privacy

• Andre Scedrov:
  Formal specification, foundations of verification, logic-based design, language-based security, composition issues, statistical methods

• Vitaly Shmatikov:
  Analysis of cryptographic protocols, symbolic and probabilistic methods, privacy, anonymity, digital rights management