Research Interests:

Pure and applied cryptography, secure protocol design, mobile code security, policy and trust management, type-safe programming languages, type systems.

CIAG Research Projects:

Scada Serial Link Protection, Common Vulnerability Scoring System, BGP Security

Standards Committee Engagements:

AGA 12 Working Group.
NIAC Vulnerability Scoring Subgroup.

Critical Infrastructure

Chambers et. al. National Infrastructure Advisory Council Common Vulnerability Scoring System (201 KB), February 2005.

Wright, A. K., Kinast, J., and McCarty, J. Low-Latency Cryptographic Protection for SCADA Communications. In Proc. Applied Cryptography and Network Security, Springer Lecture Notes in Computer Science, June 2004.

K. Wright. On Sapphire and Type-Safe Languages. Inside Risks 154, CACM 46, 4, April 2003.

Electronic Commerce

Goldberg, A. V., Hartline, J. D., and A. K. Wright. Competitive Auctions and Digital Goods. In Symposium On Discrete Algorithms, Jan. 2001.

Gunter, C. A., S. T. Weeks, and A. K. Wright. Models and Languages for Digital Rights. In Proc. Hawaii Intl. Conf. System Sciences, Jan. 2001.

Programming Languages

Jagannathan, S. and A. K. Wright. Polymorphic Splitting: An Effective Polyvariant Flow Analysis. ACM Transactions on Programming Languages and Systems 20, 1, Jan. 1998, 166-207.

Wright, A. K. and R. Cartwright. A Practical Soft Type System for Scheme. ACM Transactions on Programming Languages and Systems 19, 1 (Jan. 1997), 87-152.

S. Jagannathan and A. Wright. Compiling Functional Languages with Flow Analysis. ACM Computing Surveys 28, 2 (June 1996), 337-339.

Wright, A. K. Simple Imperative Polymorphism. Lisp and Symbolic Computation 8, 4 (Dec. 1995), 343-356.

Wright, A. K. and M. Felleisen. A Syntactic Approach to Type Soundness. Information and Computation 115, 1 (Nov. 1994), 38-94.

Wright, A., S. Jagannathan, C. Ungureanu, and A.Hertzmann. Compiling Java to a Typed Lambda-Calculus: A Preliminary Report. In Proc. Second Intl. Workshop on Types in Compilation, March 1998.

Jagannathan, S., S. Weeks, and A. K. Wright. Single and Loving It: Must-Alias Analysis for Higher-Order Languages. In Proc. ACM Conference on Principles of Programming Languages, January 1998, 329-341.

Jagannathan, S., S. Weeks, and A. K. Wright. Type-Directed Flow Analysis for Typed Intermediate Languages. To appear in Proc. 4th International Static Analysis Symposium, Sept. 1997.

Jagannathan, S. and A. K. Wright. Flow-directed Inlining. In Proc. ACM Conference on Programming Language Design and Implementation, May 1996, 193-205.

Jagannathan, S. and A. K. Wright. Effective Flow Analysis for Avoiding Run-time Checks. In Proc. 2nd International Static Analysis Symposium, Sept. 1995. Springer-Verlag LNCS 983, 207-224.

Wright, A. K. and R. Cartwright. A Practical Soft Type System for Scheme. In Proc. ACM Conf. on Lisp and Functional Programming, June 1994, 250-262.

Wright, A. K. Typing References by Effect Inference. In Proc. European Symposium on Programming, Feb. 1992. Springer-Verlag LNCS 582, 473-491.

Cormack, G. V. and A. K. Wright. Type-dependent Parameter Inference. In Proc. ACM Conference on Programming Language Design and Implementation, June 1990, 127-163.

Cormack, G. V. and A. K. Wright. Polymorphism in the Compiled Language ForceOne. In Proc. Hawaii Intl. Conf. Systems Sciences, Jan. 1987, 284-292.

Jagannathan, S., J. Philbin, R. Kelsey, H. Cejtin, M. Reinhold, J. Edler, and A. Wright. A Research Prospectus for Advanced Software Systems. Technical Report 95-1, NEC Research Institute, Mar. 1995.

Wright, A. K. Practical Soft Typing. Ph.D. Thesis, Rice University, Aug. 1994.

Wright, A. K. Polymorphism for Imperative Languages without Imperative Types. Technical Report 93-200, Rice University, 1993.

Wright, A. K. Design of the Programming Language ForceOne. M.Math. Thesis and Technical Report CS-87-10, University of Waterloo, 1987.

Cormack, G. V., M. Judd, and A. K. Wright. Types Are Not Classes. Technical Report CS-86-28, University of Waterloo, 1986.

Contact: andwrigh@cisco.com