Lucas Waye
Lucas Waye
Adresse e-mail validée de - Page d'accueil
Citée par
Citée par
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
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
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
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
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
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
Privacy integrated data stream queries
L Waye
Proceedings of the 2014 International Workshop on Privacy & Security in …, 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
Framework for generating programs to process beacons
L Waye, K Seng, V Bajaria, S Moriah
US Patent 8,725,750, 2014
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–9