Lucas Waye

According to our database, Lucas Waye authored at least 7 papers between 2009 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Whip: higher-order contracts for modern services.

Lucas Waye, Stephen Chong, Christos Dimoulas

Proc. ACM Program. Lang., 2017

Cryptographically Secure Information Flow Control on Key-Value Stores.

Lucas Waye, Pablo Buiras, Owen Arden, Alejandro Russo, Stephen Chong

Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

2016

Flexible Manipulation of Labeled Values for Information-Flow Control Libraries.

Marco Vassena, Pablo Buiras, Lucas Waye, Alejandro Russo

Proceedings of the Computer Security - ESORICS 2016, 2016

2015

It's My Privilege: Controlling Downgrading in DC-Labels.

Lucas Waye, Pablo Buiras, Dan King, Stephen Chong, Alejandro Russo

Proceedings of the Security and Trust Management - 11th International Workshop, 2015

Exploring and enforcing security guarantees via program dependence graphs.

Andrew Johnson, Lucas Waye, Scott Moore, Stephen Chong

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

2014

Privacy integrated data stream queries.

Lucas Waye

Proceedings of the 2014 International Workshop on Privacy & Security in Programming, 2014

2009

Fabric: a platform for secure distributed computation and storage.

Jed Liu, Michael D. George, K. Vikram, Xin Qi, Lucas Waye, Andrew C. Myers

Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, 2009