Jed Liu
Jed Liu
Akita Software
Verified email at - Homepage
Cited by
Cited by
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
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
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
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
JMatch: Iterable abstract pattern matching for Java
J Liu, AC Myers
Practical Aspects of Declarative Languages: 5th International Symposium …, 2003
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
Flow-limited authorization
O Arden, J Liu, AC Myers
2015 IEEE 28th Computer Security Foundations Symposium, 569-583, 2015
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
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
Interruptible iterators
J Liu, A Kimball, AC Myers
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of …, 2006
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
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
JMatch: Java plus pattern matching
J Liu, AC Myers
Cornell University, 2002
Avenir: Managing Data Plane Diversity with Control Plane Synthesis.
EH Campbell, WT Hallahan, P Srikumar, C Cascone, J Liu, ...
NSDI, 133-153, 2021
Defining and enforcing referential security
J Liu, AC Myers
Principles of Security and Trust: Third International Conference, POST 2014 …, 2014
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
Towards a secure federated information system
MJ Liu
Cornell University, 2012
Videos of demo of self-driving robot with map verification
J Liu, J Corbett-Davies, A Ferraiuolo, M Campbell, AC Myers, GE Suh
A language for securely referencing persistent information in a federated system
J Liu, AC Myers
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
The system can't perform the operation now. Try again later.
Articles 1–20