| 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 | 360 | 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 | 176 | 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 | 58 | 2017 |
| Flow-limited authorization O Arden, J Liu, AC Myers 2015 IEEE 28th Computer Security Foundations Symposium, 569-583, 2015 | 48 | 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 | 41 | 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 | 28 | 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 | 17 | 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 | 13 | 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 |
Andrew C. MyersClass of 1912 Professor of Engineering, Dept. of Computer Science, Cornell UniversityVerified email at cs.cornell.edu
