Publications by Frank Pfenning

2016 • ACM Sigplan Notices • 51(1):582-594
Jia L, Gommerstadt H, Pfenning F

2016 • ACM Sigplan Notices • 51(1):582-594
Jia L, Gommerstadt H, Pfenning F

2016 • PROCEEDINGS OF THE 25TH USENIX SECURITY SYMPOSIUM • 87-104
Vasudevan A, Chaki S, Maniatis P, Jia L, Datta A

2015 • Proceedings of the Computer Security Foundations Workshop • 512-525
Jia L, Sen S, Garg D, Datta A

2015
Chen C, Jia L, Xu H, Luo C, Zhou W, Loo BT

2015 • Logical Methods in Computer Science • 11(4):
Chen C, Jia L, Xu H, Luo C, Zhou W, Loo BT

2015 • PROCEEDINGS OF THE 17TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING (PPDP 2015) • 79-90
Chen C, Loh LK, Jia L, Zhou W, Loo BT

2015 • Proceedings of the ACM Conference on Computer and Communications Security • 1130-1143
Chowdhury O, Garg D, Jia L, Datta A

2015
Chowdhury O, Garg D, Jia L, Datta A

2015
Jia L, Sen S, Garg D, Datta A

2015
Jia L, Gommerstadt H, Pfenning F

2015 • Proceedings of the 10th ACM Workshop on Programming Languages and Analysis for Security, PLAS 2015
Clarkson M, Jia L

2015 • Proceedings of the 10th ACM Workshop on Programming Languages and Analysis for Security, PLAS 2015
Clarkson M, Jia L

2015 • 22ND ANNUAL NETWORK AND DISTRIBUTED SYSTEM SECURITY SYMPOSIUM (NDSS 2015)
Bauer L, Cai S, Jia L, Passaro T, Stroucken M, Tian Y

2014 • Lecture Notes in Computer Science • 8461:117-132
Chen C, Jia L, Xu H, Luo C, Zhou W, Loo BT

2014 • 2014 IEEE CONFERENCE ON COMMUNICATIONS AND NETWORK SECURITY (CNS) • 184-192
Bauer L, Cai S, Jia L, Passaro T, Tian Y

2014 • Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) • 2014-June(June):
Klieber W, Flynn L, Bhosale A, Jia L, Bauer L

2014 • Lecture Notes in Computer Science • 8564 LNCS:19-36
Sinha A, Jia L, England P, Lorch JR

2014
Sinha A, Jia L, England P, Lorch JR

2014 • Proceedings of the 2014 ACM conference on SIGCOMM
Kim TH-J, Basescu C, Jia L, Lee SB, Hu Y-C, Perrig A

2014 • Computer Communication Review • 271-282
Kim TH-J, Basescu C, Jia L, Lee SB, Hu Y-C, Perrig A

2014 • Proceedings of the ACM Conference on Computer and Communications Security • 346-357
Zhang F, Jia L, Basescu C, Kim TH-J, Hu Y-C, Perrig A

2014 • CODASPY 2014 - Proceedings of the 4th ACM Conference on Data and Application Security and Privacy • 313-320
Oh SE, Chun JY, Jia L, Garg D, Gunter CA, Datta A

2014 • Open Networking Summit 2014 - Research Track, ONS 2014
Chen C, Jia L, Zhou W, Loo BT

2014
Chowdhury O, Jia L, Garg D, Datta A