Jed Liu
Jed Liu
Barefoot Networks
Verified email at cs.cornell.edu - Homepage
Title
Cited by
Cited by
Year
Secure web applications via automatic partitioning
S Chong, J Liu, AC Myers, X Qi, K Vikram, L Zheng, X Zheng
ACM SIGOPS Operating Systems Review 41 (6), 31-44, 2007
3372007
Fabric: A platform for secure distributed computation and storage
J Liu, MD George, K Vikram, X Qi, L Waye, AC Myers
Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles …, 2009
1792009
p4v: Practical verification for programmable data planes
J Liu, W Hallahan, C Schlesinger, M Sharif, J Lee, R Soulé, H Wang, ...
Proceedings of the 2018 Conference of the ACM Special Interest Group on Data …, 2018
802018
Sharing mobile code securely with information flow control
O Arden, MD George, J Liu, K Vikram, A Askarov, AC Myers
2012 IEEE Symposium on Security and Privacy, 191-205, 2012
752012
JMatch: Iterable abstract pattern matching for Java
J Liu, AC Myers
International Symposium on Practical Aspects of Declarative Languages, 110-127, 2003
692003
Field emission from diamond coated molybdenum field emitters
WB Choi, J Liu, MT McClure, AF Myers, VV Zhirnov, JJ Cuomo, JJ Hren
Journal of Vacuum Science & Technology B: Microelectronics and Nanometer …, 1996
621996
Modification of Si field emitter surfaces by chemical conversion to SiC
J Liu, UT Son, AN Stepanova, KN Christensen, GJ Wojak, EI Givargizov, ...
Journal of Vacuum Science & Technology B: Microelectronics and Nanometer …, 1994
451994
Fabric: Building open distributed systems securely by construction
J Liu, O Arden, MD George, AC Myers
Journal of Computer Security 25 (4-5), 367-426, 2017
362017
Building secure web applications with automatic partitioning
S Chong, J Liu, AC Myers, X Qi, K Vikram, L Zheng, X Zheng
Communications of the ACM 52 (2), 79-87, 2009
362009
Flow-limited authorization
O Arden, J Liu, AC Myers
2015 IEEE 28th Computer Security Foundations Symposium, 569-583, 2015
352015
Warranties for faster strong consistency
J Liu, T Magrino, O Arden, MD George, AC Myers
11th {USENIX} Symposium on Networked Systems Design and Implementation …, 2014
292014
Interruptible iterators
J Liu, A Kimball, AC Myers
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of …, 2006
272006
Characterization of amorphous carbon coated silicon field emitters
AF Myers, SM Camphausen, JJ Cuomo, JJ Hren, J Liu, J Bruley
Journal of Vacuum Science & Technology B: Microelectronics and Nanometer …, 1996
161996
JMatch: Java plus pattern matching
J Liu, AC Myers
Cornell University, 2002
132002
Environmental effect on the electron emission from diamond surfaces
VV Zhirnov, J Liu, GJ Wojak, JJ Cuomo, JJ Hren
Journal of Vacuum Science & Technology B: Microelectronics and Nanometer …, 1998
131998
Safe serializable secure scheduling: Transactions and the trade-off between security and consistency
I Sheff, T Magrino, J Liu, AC Myers, R Van Renesse
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications …, 2016
112016
Secure autonomous cyber-physical systems through verifiable information flow control
J Liu, J Corbett-Davies, A Ferraiuolo, A Ivanov, M Luo, GE Suh, AC Myers, ...
Proceedings of the 2018 Workshop on Cyber-Physical Systems Security and …, 2018
102018
Defining and enforcing referential security
J Liu, AC Myers
International Conference on Principles of Security and Trust, 199-219, 2014
92014
Efficient, consistent distributed computation with predictive treaties
T Magrino, J Liu, N Foster, J Gehrke, AC Myers
Proceedings of the Fourteenth EuroSys Conference 2019, 1-16, 2019
72019
Field emission characteristics of diamond coated molybdenum field emitters
WB Choi, J Liu, MT McClure, AF Myers, JJ Cuomo, JJ Hren
IVMC'95. Eighth International Vacuum Microelectronics Conference. Technical …, 1995
61995
The system can't perform the operation now. Try again later.
Articles 1–20