Type-Based Information Analysis for Low-Level Languages.

JFlow

Andrew C. Myers · 1999 · 1K citations · Full text

Computing, Computer Engineering, Computer Science +13

Certification of programs for secure information flow

Dorothy E. Denning, Peter J. Denning · Communications of the ACM · 1977 · 1K citations · Full text

Computing, Computer Engineering, Computer Science +8

A sound type system for secure flow analysis

Dennis Volpano, Cynthia Irvine, Geoffrey Smith · Journal of Computer Security · 1996 · 963 citations

Computing, Computer Engineering, Computer Science +11

From system F to typed assembly language

Greg Morrisett, David Walker, Karl Crary et al. · ACM Transactions on Programming Languages and Systems · 1999 · 587 citations · Full text

Computing, Computer Engineering, Computer Science +17

The SLam calculus

Nevin Heintze, Jon G. Riecke · 1998 · 410 citations

Computing, Computer Science, Computer Security +10