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 | 365 | 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 | 198 | 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 | 180 | 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 | 92 | 2012 |
JMatch: Iterable abstract pattern matching for Java J Liu, AC Myers International Symposium on Practical Aspects of Declarative Languages, 110-127, 2002 | 76 | 2002 |
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 | 59 | 2017 |
Flow-limited authorization O Arden, J Liu, AC Myers 2015 IEEE 28th Computer Security Foundations Symposium, 569-583, 2015 | 49 | 2015 |
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 | 42 | 2014 |
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 | 38 | 2009 |
Interruptible iterators J Liu, A Kimball, AC Myers Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of …, 2006 | 29 | 2006 |
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 | 19 | 2021 |
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 | 15 | 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 | 14 | 2016 |
JMatch: Java plus pattern matching J Liu, AC Myers Cornell University, 2002 | 12 | 2002 |
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 | 10 | 2019 |
Defining and enforcing referential security J Liu, AC Myers Principles of Security and Trust: Third International Conference, POST 2014 …, 2014 | 10 | 2014 |
Videos of demo of self-driving robot with map verification J Liu, J Corbett-Davies, A Ferraiuolo, M Campbell, AC Myers, GE Suh | 1 | 2017 |
A language for securely referencing persistent information in a federated system J Liu, AC Myers | 1 | 2014 |
Towards a secure federated information system MJ Liu Cornell University, 2012 | 1 | 2012 |
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 |