Statistics
Publications
57
Citations
1.8K
H-Index
26
Active since
1991
Deepak Garg is an author at Max Planck Institute for Software Systems specializing in computer science, computing, and formal methods.
Publications per year
1991–2024
57
57
A Logic of Secure Systems and its Application to Trusted Computing
Anupam Datta, Jason Franklin, Deepak Garg et al. · 2009 · 109 citations
Non-Interference in Constructive Authorization Logic
Deepak Garg, F. Pfenn · 2006 · 104 citations
Policy auditing over incomplete logs
Deepak Garg, Limin Jia, Anupam Datta · 2011 · 98 citations
Computing, Public Policy, Auditing +16
Experiences in the logical specification of the HIPAA and GLBA privacy laws
Henry DeYoung, Deepak Garg, Limin Jia et al. · 2010 · 89 citations
1–5 of 57