Lucas Waye

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Whip: higher-order contracts for modern services.
Proc. ACM Program. Lang., 2017

Cryptographically Secure Information Flow Control on Key-Value Stores.
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

2016
Flexible Manipulation of Labeled Values for Information-Flow Control Libraries.
Proceedings of the Computer Security - ESORICS 2016, 2016

2015
It's My Privilege: Controlling Downgrading in DC-Labels.
Proceedings of the Security and Trust Management - 11th International Workshop, 2015

Exploring and enforcing security guarantees via program dependence graphs.
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

2014
Privacy integrated data stream queries.
Proceedings of the 2014 International Workshop on Privacy & Security in Programming, 2014

2009
Fabric: a platform for secure distributed computation and storage.
Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, 2009


  Loading...