Concepedia

Lucas Waye

LW

5

Publications

232

Citations

5

H-Index

2009

Active since

Affiliations

Harvard University Press(Current)

MIT Lincoln Laboratory

Harvard University

Lucas Waye is an author at Harvard University Press specializing in engineering, data security, and computer science.

Top concepts

EngineeringData SecurityComputer ScienceSystem SoftwareProgram AnalysisHardware SecuritySoftware AnalysisFormal VerificationInformation SecuritySoftware Engineering

Publications per year

2009–2017

5

Publications

5

Fabric

Jed Liu, Michael George, K. Vikram et al. · 2009 · 137 citations

Engineering, Information Security, Cryptography +13

Exploring and enforcing security guarantees via program dependence graphs

Andrew Johnson, Lucas Waye, Scott Moore et al. · 2015 · 44 citations · Full text

Engineering, Information Security, Software Engineering +17

Exploring and enforcing security guarantees via program dependence graphs

Andrew Johnson, Lucas Waye, Scott Moore et al. · ACM SIGPLAN Notices · 2015 · 20 citations

Engineering, Information Security, Software Engineering +17

MAC A verified static information-flow control library

Marco Vassena, Alejandro Russo, Pablo Buiras et al. · Journal of Logical and Algebraic Methods in Programming · 2017 · 17 citations

Hardware Security, Engineering, Data Flow +10

Whip: higher-order contracts for modern services

Lucas Waye, Stephen Chong, Christos Dimoulas · Proceedings of the ACM on Programming Languages · 2017 · 14 citations · Full text

Engineering, Distributed Middleware, Composing Services +15

Rows per page

1–5 of 5