Project Papers


  1. Confinement Properties for Programming Languages, Dennis Volpano and Geoffrey Smith, SIGACT News, Vol. 29, No. 3, pp. 33-42, Sep 1998.

  2. Probabilistic Noninterference in a Concurrent Language, Dennis Volpano and Geoffrey Smith, Proc. 11th IEEE Computer Security Foundations Workshop, pp. 34-43, Rockport, MA, June 1998.

  3. Language Issues in Mobile Program Security, Dennis Volpano and Geoffrey Smith, In Mobile Agents and Security, G. Vigna (Ed.), volume 1419 of Lecture Notes in Computer Science, pp. 25-43. Springer Verlag, 1998.

  4. Secure Information Flow in a Multi-threaded Imperative Language, Geoffrey Smith and Dennis Volpano, Proc. 25th ACM Symposium on Principles of Programming Languages, pp. 355-364, San Diego, CA, January 1998.

  5. A Sound Polymorphic Type System for a Dialect of C, Geoffrey Smith and Dennis Volpano, Science of Computer Programming, Vol. 32, No. 2-3, pp. 49-72, 1998.

  6. Eliminating Covert Flows with Minimum Typings, Dennis Volpano and Geoffrey Smith, Proc. 10th IEEE Computer Security Foundations Workshop, pp. 156-168, Rockport, MA, June 1997.

  7. Secure Flow Typing, Dennis Volpano and Cynthia Irvine, Computers and Security, Vol. 16, No. 2, pp. 137-144, 1997.

  8. A Type-Based Approach to Program Security, Dennis Volpano and Geoffrey Smith, Proc. 7th Int'l Joint Conference on the Theory and Practice of Software Development, LNCS 1214, pp. 607-621, Lille France, April 1997.

  9. Polymorphic Typing of Variables and References, Geoffrey Smith and Dennis Volpano, ACM Transactions on Programming Languages and Systems, Vol. 18, No. 3, pp. 254-267, May 1996.

  10. On the Systematic Design of Web Languages, Dennis Volpano and Geoffrey Smith, ACM Computing Surveys, Vol. 28, No. 2, pp. 315-317, June 1996.

  11. A Sound Type System for Secure Flow Analysis, Dennis Volpano, Geoffrey Smith and Cynthia Irvine, Journal of Computer Security, Vol. 4, No. 3, pp. 167-187, Dec 1996.

  12. Provably-Secure Programming Languages for Remote Evaluation, Dennis Volpano, ACM Computing Surveys, Vol. 28A (electronic), December 1996. Also appeared in ACM SIGPLAN Notices, 32(1), pp. 117-119, January 1997.

  13. Towards an ML-style Polymorphic Type System for C, Geoffrey Smith and Dennis Volpano, Proc. 6th European Symposium on Programming, Linkoping Sweden, pp. 341-355, April 1996.

  14. A Type Soundness Proof for Variables in LCF ML, Dennis Volpano and Geoffrey Smith, Information Processing Letters 56(3), pp. 141-146, Nov 1995. Also presented at the Newton Institute on Themes in the Semantics of Computation, Cambridge UK, July 1995.

  15. Lower Bounds on Type Checking Overloading, Dennis Volpano, Information Processing Letters, 57(1), pp. 9-14, Jan 1996.

  16. Haskell-style Overloading is NP Hard, Dennis Volpano Proceedings 1994 Int'l Conference on Computer Languages, Toulouse, France, pp. 88-94, May 1994.

  17. A Note on Polymorphic Typing of Variables and References, Dennis Volpano and Geoffrey Smith, NPS Technical Report, NPSCS-96-003, 1996.