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