| 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 | 197 | 2009 |
| Exploring and enforcing security guarantees via program dependence graphs A Johnson, L Waye, S Moore, S Chong Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015 | 93 | 2015 |
| MAC A verified static information-flow control library M Vassena, A Russo, P Buiras, L Waye Journal of Logical and Algebraic Methods in Programming 95, 148-180, 2018 | 35 | 2018 |
| Cryptographically Secure Information Flow Control on Key-Value Stores L Waye, P Buiras, O Arden, A Russo, S Chong Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017 | 30 | 2017 |
| Whip: Higher-order contracts for modern services L Waye, S Chong, C Dimoulas Proceedings of the ACM on Programming Languages 1 (ICFP), 1-28, 2017 | 22 | 2017 |
| It’s My Privilege: Controlling Downgrading in DC-Labels L Waye, P Buiras, D King, S Chong, A Russo International Workshop on Security and Trust Management, 203-219, 2015 | 16 | 2015 |
| Privacy integrated data stream queries L Waye Proceedings of the 2014 International Workshop on Privacy & Security in …, 2014 | 14 | 2014 |
| Flexible Manipulation of Labeled Values for Information-Flow Control Libraries M Vassena, P Buiras, L Waye, A Russo European Symposium on Research in Computer Security, 538-557, 2016 | 13 | 2016 |
| Framework for generating programs to process beacons L Waye, K Seng, V Bajaria, S Moriah US Patent 8,725,750, 2014 | 7 | 2014 |
Stephen ChongHarvard UniversityVerified email at seas.harvard.edu
