Lucas Waye

Publication Activity (10 Years)

Years Active: 2009-2017
Publications (10 Years): 6

Top Topics

Lambda Calculus

Privacy Violations

Manual Labeling

Information Flow Control

Top Venues

Proc. ACM Program. Lang.

Publications

Lucas Waye, Pablo Buiras, Owen Arden, Alejandro Russo, Stephen Chong
Cryptographically Secure Information Flow Control on Key-Value Stores. CCS (2017)
Lucas Waye, Stephen Chong, Christos Dimoulas
Whip: higher-order contracts for modern services. Proc. ACM Program. Lang. 1 (ICFP) (2017)
Lucas Waye, Pablo Buiras, Owen Arden, Alejandro Russo, Stephen Chong
Cryptographically Secure Information Flow Control on Key-Value Stores. CoRR (2017)
Marco Vassena, Pablo Buiras, Lucas Waye, Alejandro Russo
Flexible Manipulation of Labeled Values for Information-Flow Control Libraries. ESORICS (1) (2016)
Lucas Waye, Pablo Buiras, Dan King, Stephen Chong, Alejandro Russo
It's My Privilege: Controlling Downgrading in DC-Labels. STM (2015)
Andrew Johnson, Lucas Waye, Scott Moore, Stephen Chong
Exploring and enforcing security guarantees via program dependence graphs. PLDI (2015)
Lucas Waye
Privacy integrated data stream queries. PSP (2014)
Jed Liu, Michael D. George, K. Vikram, Xin Qi, Lucas Waye, Andrew C. Myers
Fabric: a platform for secure distributed computation and storage. SOSP (2009)