フォロー
Lucas Waye
Lucas Waye
Meta
確認したメール アドレス: fb.com - ホームページ
タイトル
引用先
引用先
年
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
1992009
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
862015
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
342018
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
302017
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
Privacy integrated data stream queries
L Waye
Proceedings of the 2014 International Workshop on Privacy & Security in …, 2014
132014
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
Framework for generating programs to process beacons
L Waye, K Seng, V Bajaria, S Moriah
US Patent 8,725,750, 2014
72014
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–9