Lenore D. Zuck

  • home
  • publications
  • projects
  • students
  • contact
  • A DARPA-sponsored project to use proofs of correctness of security properties (obtained by crowd sourcing) to obtain better optimizations that are self-certifying.
  • An NSF-sponsored project to identify optimal access-constrol systems for given applications.
  • Formal analysis of short privacy policies (such as those in on-line banking, games, &c)
  • Assessing and catering to users' privacy preferences using mobile devices