J Liu, MD George, K Vikram, X Qi, L Waye, AC Myers

Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles …, 2009

A Johnson, L Waye, S Moore, S Chong

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015

M Vassena, A Russo, P Buiras, L Waye

Journal of Logical and Algebraic Methods in Programming 95, 148-180, 2018

L Waye, P Buiras, O Arden, A Russo, S Chong

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

L Waye, S Chong, C Dimoulas

Proceedings of the ACM on Programming Languages 1 (ICFP), 1-28, 2017

L Waye, P Buiras, D King, S Chong, A Russo

International Workshop on Security and Trust Management, 203-219, 2015

M Vassena, P Buiras, L Waye, A Russo

European Symposium on Research in Computer Security, 538-557, 2016

L Waye

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

L Waye, K Seng, V Bajaria, S Moriah

US Patent 8,725,750, 2014