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

Software and OS security

Secure compilation

Language-based information flow control

Distributed secure and private computation

Differential privacy

Privacy policies and audit

Causal analysis

Verification of security properties

Proof theory (including logics for access control)

Concurrency theory



Edited Volumes



Theses



Technical Reports

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

Notes/Misc/Drafts

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

Imprint / Data Protection