Publications by <!-- THEME DEBUG --> <!-- THEME HOOK: 'views_view_field' --> <!-- 💡 BEGIN CUSTOM TEMPLATE OUTPUT from 'themes/custom/csd/templates/views/views-view-field.html.twig' --> Zeliha Dilsun Kaynar

2011 • Lecture Notes in Computer Science • 7093:1-+
Datta A, Blocki J, Christin N, DeYoung H, Garg D, Jia L, Kaynar D, Sinha A

2010 • Proceedings - IEEE Computer Security Foundations Symposium • 154-168
Bauer L, Jia L, Sharma D

2010 • ACM Sigplan Notices • 45(1):275-286
Jia L, Zhao J, Sjoberg V, Weirich S

2010 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 275-286
Jia L, Zhao J, Sjoeberg V, Weirich S

2010 • Proceedings of the ACM Conference on Computer and Communications Security • 73-82
DeYoung H, Garg D, Jia L, Kaynar D, Datta A

2010
DeYoung H, Garg D, Jia L, Kaynar D, Datta A

2009 • PLAS'09 - Proceedings of the ACM SIGPLAN 4th Workshop on Programming Languages and Analysis for Security • 17-29
Jia L, Zdancewic S

2009 • ACM Sigplan Notices • 44(8):7-19
Jia L, Zdancewic S

2009 • ACM Sigplan Notices • 44(8):4-4
Jia L, Zdancewic S

2009 • PPDP'09: PROCEEDINGS OF THE 11TH INTERNATIONAL ACM SIGPLAN SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING • 243-254
Zhu KQ, Dantas DS, Fisher K, Jia L, Mandelbaum Y, Pai V, Walker D

2009 • SACMAT'09: PROCEEDINGS OF THE 14TH ACM SYMPOSIUM ON ACCESS CONTROL MODELS AND TECHNOLOGIES • 43-52
Bauer L, Jia L, Reiter MK, Swasey D

2008 • ACM Sigplan Notices • 43(9):27-38
Jia L, Vaughan JA, Mazurak K, Zhao J, Zarko L, Schorr J, Zdancewic S

2008 • Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP • 27-38
Jia L, Vaughan JA, Mazurak K, Zhao J, Zarko L, Schorr J, Zdancewic S

2008 • ACM Sigplan Notices • 43(9):27-38
Jia L, Vaughan JA, Mazurak K, Zhao J, Zarko L, Schorr J, Zdancewic S

2008 • Proceedings - IEEE Computer Security Foundations Symposium • 177-191
Vaughan JA, Jia L, Mazurak K, Zdancewic S

2006 • Proceedings of the 5th International Conference on Generative Programming and Component Engineering, GPCE'06 • 101-110
Perry F, Jia L, Walker D

2006 • Lecture Notes in Computer Science • 3924:131-145
Jia LM, Walker D

2005 • Proceedings - Symposium on Logic in Computer Science • 407-416
Jia LM, Spalding F, Walker D, Glew N

2004 • Lecture Notes in Computer Science • 2986:219-233
Jia LM, Walker D

2003 • Proceedings - Symposium on Logic in Computer Science • 33-44
Ahmed A, Jia LM, Walker D