Follow
Jed Liu
Jed Liu
Akita Software
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
3552007
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
1962009
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
1572018
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
922012
JMatch: Iterable abstract pattern matching for Java
J Liu, AC Myers
International Symposium on Practical Aspects of Declarative Languages, 110-127, 2002
792002
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
552017
Flow-limited authorization
O Arden, J Liu, AC Myers
2015 IEEE 28th Computer Security Foundations Symposium, 569-583, 2015
492015
Warranties for faster strong consistency
J Liu, T Magrino, O Arden, MD George, AC Myers
11th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2014
392014
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
392009
Interruptible iterators
J Liu, A Kimball, AC Myers
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of …, 2006
272006
Avenir: Managing data plane diversity with control plane synthesis
EH Campbell, WT Hallahan, P Srikumar, C Cascone, J Liu, ...
18th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2021
142021
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
142018
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
122016
JMatch: Java plus pattern matching
J Liu, AC Myers
Cornell University, 2002
122002
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
102019
Defining and enforcing referential security
J Liu, AC Myers
Principles of Security and Trust: Third International Conference, POST 2014 …, 2014
92014
Towards a secure federated information system
MJ Liu
Cornell University, 2012
22012
Videos of demo of self-driving robot with map verification
J Liu, J Corbett-Davies, A Ferraiuolo, M Campbell, AC Myers, GE Suh
12017
A language for securely referencing persistent information in a federated system
J Liu, AC Myers
12014
Safe Serializable Secure Scheduling: Transactions and the Trade-Off Between Security and Consistency (Technical Report)
I Sheff, T Magrino, J Liu, AC Myers, R van Renesse
2016
The system can't perform the operation now. Try again later.
Articles 1–20