PROFUNDIS: Deliverables Year 2 (2003)

Deliverable #8: Integration and Algorithms

  1. Security Types Preserving Compilation by Gilles Barthe, Amitabh Basu, and Tamara Rezk
  2. Formally Verifying Information Flow Type Systems for Concurrent and Thread Systems by Gilles Barthe and Leonor Prensa
  3. Secure Information Flow for a sequential Java Virtual Machine by Gilles Barthe and Tamara Rezk
  4. The Klaim Project: Theory and Practice by Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gianluigi Ferrari, Daniele Gorla, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto, and Betti Venneri
  5. Stack inspection and secure program transformations by Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari
  6. Session Types for Inter-Process Communication by Simon Gay, Vasco Vasconcelos, and Antonio Ravara
  7. Typing migration control in lsdpi by Francisco Martins and Antonio Ravara
  8. An Algebra of Behavioural Types by Antonio Ravara
  9. Typing the Behavior of Objects and Components using Session Types by Antonio Vallecillo, Vasco T. Vasconcelos, and Antonio Ravara
  10. Formalisms for Mobile Resource Control by David Teller
  11. Using Ambients to Control Resources by David Teller, Pascal Zimmer, and Daniel Hirschkoff

Valid HTML 4.01! Web page: Björn Victor, latest update Mon, 17-May-2004 00:36 MEST