Send email Copy Email Address
Placeholder

Email

Address

Campus E1 5
66123 Saarbrücken (Germany)

Publications by Deepak Garg

Year 2015

Conference / Medium

CSF
Proceedings of the 28th Computer Security Foundations Symposium (CSF '15)

Conference / Medium

EuroSys
Proceedings of the 10th European Conference on Computer Systems (EuroSys '15)

Conference / Medium

ESOP
Proceedings of the 24th European Symposium on Programming (ESOP '15)

Article

The Computing Research Repository (CoRR)

Year 2014

Conference / Medium

CSF
Proceedings of the 27th IEEE Computer Security Foundations Symposium (CSF '14)

Conference / Medium

Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security

Conference / Medium

CAV
Proc. 26th International Conference on Computer Aided Verification (CAV 2014)

Conference / Medium

Proceedings of the 4th ACM conference on Data and application security and privacy (CODASPY'14)

Year 2013

Article

ACM Transactions on Programming Languages and Systems