Myers, Andrew C.

Language-based information-flow security

Sabelfeld, A., & Myers, A. C. (2003) · IEEE Journal on Selected Areas in Communications

Security and Verification in ComputingLogic, programming, and type systems

Cited by 1,907

A decentralized model for information flow control

Myers, A. C., & Liskov, B. (1997) · Proceedings of the sixteenth ACM symposium on Operating systems principles

Security and Verification in ComputingAccess Control and Trust

Cited by 536

Abstraction-safe effect handlers via tunneling

Zhang, Y., & Myers, A. C. (2019) · Proceedings of the ACM on Programming Languages

Logic, programming, and type systemsTeaching and Learning Programming

Cited by 45

Nonmalleable Information Flow: Technical Report

Cecchetti, E., Myers, A. C., & Arden, O. (2017) · arXiv

Security and Verification in ComputingLogic, programming, and type systems

Cited by 0