Foundations for Secure Mobile Code Workshop

Position Statements


  1. Surviveable Mobile Code is Hard to Build, Li Gong (JavaSoft)..

  2. Trust Management and Proof-Carrying Code in Secure Mobile-Code Applications, Joan Feigenbaum (AT&T Labs) and Peter Lee (CMU)..

  3. The SLam Calculus: Programming with Security and Integrity, Nevin Heintze and Jon Riecke (Lucent Technologies).

  4. Secure Mobile Code: Where do we go from here?, Drew Dean and Edward Felten (Princeton).

  5. Nominal Calculi for Security and Mobility, Andrew D. Gordon (University of Cambridge).

  6. Rewriting Logic and Secure Mobility, José Meseguer (SRI) and Carolyn Talcott (Stanford).

  7. A Sanctuary for Mobile Agents, Bennet Yee (UC SanDiego).

  8. Research on Proof-Carrying Code for Mobile-Code Security, Peter Lee and George Necula (CMU).

  9. Infrastructure for Proof-Referencing Code, Carl Gunter (Penn), Peter Homeier (Aerospace Corp), and Scott Nettles (Penn).

  10. Trust Appraisal and Secure Routing of Mobile Agents, Vipin Swarup (MITRE).

  11. Security within a Calculus of Mobile Agents?, Cédric Fournet (INRIA).

  12. Non Interference: Past, Present and Future, Riccardo Focardi (Università Ca' Foscari di Venezia) and Roberto Gorrieri (Università di Bologna).

  13. Detecting Attacks on Mobile Agents, Catherine Meadows (NRL).