Deepak Garg

Home       Papers       Projects       Research group       Teaching       Service       Contact

Research Papers

[Published papers] [Edited volumes] [Theses] [Technical reports] [Notes and misc]

Published Papers

[Arranged by: Date | Topic]

Published papers may be copyrights of their respective publishers.

Type/logic-based verification

Policy enforcement in systems

Language-based information flow control

Secure compilation

Differential privacy

Privacy policies and audit

Causal analysis

Verification of security properties

Proof theory (including logics for access control)

Concurrency theory

Edited Volumes


Technical Reports

Technical reports related to published papers are listed above with their respective papers.


These are unpublished notes or drafts. They are provided as is. Please do not cite them.

Imprint / Data Protection