Lenore D. Zuck

• 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