Dave Wagner: The contribution of programming-language techniques to confinement and to building secure services
Robert Grimm: Access control in extensible systems (overview and papers)
Li Gong: The JDK1.2 security model (documentation and papers)
Jim Roskind: The Communicator 4.x security model
Sanjay Menon: The Microsoft Java security model (paper)
Sheng Liang: Making Java class loaders type-safe
Gün Sirer: The Kimera work on bytecode verification (web pages)
Raymie Stata: A type system for the Java Virtual Machine: subroutines (paper)
Stephen Freund: A type system for the Java Virtual Machine: initialization (abstract and slides)
Zhenyu Qian: A formal specification of Java Virtual Machine instructions (paper)
Rich Cohen: A defensive Java Virtual Machine (specification)
Vijay Saraswat: Declarative bytecode verification (web pages)
Eva Rose: Byte code verification on a Java Card (abstract)
Greg Morrisett: Type-safe assembly language: (paper and slides)
Peter Lee: Proof-carrying code (overview and papers)
Xavier Leroy or François Rouaix: Security properties of typed applets (paper)
Fred Schneider: Enforceable security policies and their enforcement
Robbert VanRenesse: Tacoma 2 Cornell active network
Jon Riecke or Nevin Heintze: The SLam calculus (paper and slides)
Andrew Myers: Decentralized information-flow control (paper and slides)
General discussion