1998 …2024

Research activity per year

Filter
Paper

Search results

  • 2005

    Composing security policies with polymer

    Bauer, L., Ligatti, J. & Walker, D., 2005, p. 305-314. 10 p.

    Princeton University

    Research output: Contribution to conferencePaperpeer-review

    89 Scopus citations
  • Patch (1) considered harmful

    Fiuczynski, M. E., Grimm, R., Coady, Y. & Walker, D., 2005.

    Princeton University

    Research output: Contribution to conferencePaperpeer-review

    20 Scopus citations
  • 2003

    An Effective Theory of Type Refinements

    Mandelbaum, Y., Walker, D. & Harper, R., 2003, p. 213-225. 13 p.

    Princeton University

    Research output: Contribution to conferencePaperpeer-review

    30 Scopus citations
  • A Theory of Aspects

    Walker, D., Zdancewic, S. & Ligatti, J., 2003, p. 127-139. 13 p.

    Princeton University

    Research output: Contribution to conferencePaperpeer-review

    53 Scopus citations
  • 2001

    On regions and linear types

    Walker, D. & Watkins, K., 2001, p. 181-192. 12 p.

    Research output: Contribution to conferencePaperpeer-review

    31 Scopus citations