Deepak Garg

CSF
Proceedings of the 25th IEEE Computer Security Foundations Symposium (CSF '12)

Journal of Computer Security

FAST
Presented at USENIX FAST'12 WiP

ICFP
ACM SIGPLAN International Conference on Functional Programming (ICFP 2012)

Proc. of the 8th International Workshop on Security and Trust Management (STM 2012)

LICS
Proc. of the 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012)

CCS
Proceedings of the 18th ACM Conference on Computer and Communications Security (CCS '11)

SP
Proceedings of the 32nd IEEE Symposium on Security and Privacy (S&P '11)

Proc. of the 7th International Conference Information Systems Security (ICISS 2011)

IEEE Security & Privacy