Follow
Lucas Waye
Lucas Waye
Meta
Verified email at fb.com - Homepage
Title
Cited by
Cited by
Year
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
1982009
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
842015
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
322018
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
292017
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
182017
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
152015
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
122016
Privacy integrated data stream queries
L Waye
Proceedings of the 2014 International Workshop on Privacy & Security in …, 2014
122014
Framework for generating programs to process beacons
L Waye, K Seng, V Bajaria, S Moriah
US Patent 8,725,750, 2014
72014
The system can't perform the operation now. Try again later.
Articles 1–9