Service

University Service

• CSD Faculty Hiring Committee, 2013-15 (Area Chair for Cybersecurity and Privacy)
• ECE Graduate Studies Committee, 2010-2014 (Area Chair for Computer Systems, 2013-14)
• ECE Program Assessment Committee, 2014-2015
• SCS and ACM Distinguished Dissertation Awards Committee, 2013
• CSD Reappointment and Promotion Reading Committee, 2013

External Service

• Editor-in-Chief: Foundations and Trends in Privacy and Security
• Associate Editor: Journal of Computer Security
• Associate Editor: Journal of Computer and System Sciences
• Program Co-Chair: 2014 IEEE Computer Security Foundations Symposium [Part of Vienna Summer of Logic/Federated Logic Conference]
• Program Chair: 2014 Workshop on Privacy in the Electronic Society
• Steering Committee Member: IEEE Computer Security Foundations Symposium
• Co-Chair: Accountability: Science, Technology, and Policy Workshop [MIT; January 29-30, 2014]
• New Frontiers Area Co-chair: 2012 NSF Workshop on Future of Formal Methods
• Program Co-chair: 2011 Workshop on Formal Aspects of Security and Trust
• General Chair: 2008 IEEE Computer Security Foundations Symposium
• Program Co-chair: 2008 Formal and Computational Cryptography Workshop
• Math Genealogy, Erdös number: 3
• Program Committees: ... more>>
  • 2014 ACM Conference on Computer and Communications Security
  • 2014 IEEE Symposium on Security and Privacy
  • 2014 IEEE Computer Security Foundations Symposium
  • 2014 Principles of Security and Trust (ETAPS Conference)
  • 2013 ACM Conference on Computer and Communications Security
  • 2013 Computer Aided Verification Conference
  • 2013 IEEE Computer Security Foundations Symposium
  • 2013 IEEE Symposium on Security and Privacy
  • 2012 Usenix Security Symposium
  • 2012 IEEE Computer Security Foundations Symposium
  • 2012 IEEE Symposium on Security and Privacy
  • 2012 European Symposium on Research in Computer Security
  • 2011 ACM Conference on Computer and Communications Security
  • 2011 IEEE Symposium on Security and Privacy
  • 2010 IEEE Symposium on Security and Privacy
  • 2009 European Symposium on Research in Computer Security
  • 2009 IEEE Computer Security Foundations Symposium
  • 2008 ACM Conference on Computer and Communications Security
  • 2008 IEEE Computer Security Foundations Symposium
  • 2007 IEEE Symposium on Security and Privacy