Research Interests
Computer security and privacy, formal logic, programming languagesRecent Work/News
- CSF paper on countermodels, saturation and abduction for access control logics ... Publications »
- LICS paper on constructive completeness of multi-modal logics ... Publications »
- FAST work-in-progress paper on trusted storage ... Publications »
Professional Activities
APLAS 2012 (PC), CSF 2012 (PC and Publications chair), FAST 2011 (PC), PLAS 2010 (co-chair), ...Max Planck Institute for Software Systems
Head of the Foundations of Computer Security (and Privacy) Group
Office: Wartburg 407
Email: dg@mpi-sws.org
Phone: +49 681 9303 9201
Ph.D, Computer Science at CMU (2009)
B.Tech, Comp. Sc. at IIT-Delhi (2003)