PROFUNDIS: Deliverables Year 2 (2003)
Deliverable #8: Integration and Algorithms
Summary.
-
Security Types Preserving Compilation by Gilles Barthe, Amitabh Basu, and Tamara Rezk
-
Formally Verifying Information Flow Type Systems for Concurrent and Thread Systems by Gilles Barthe and Leonor Prensa
-
Secure Information Flow for a sequential Java Virtual Machine by Gilles Barthe and Tamara Rezk
-
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
-
Stack inspection and secure program transformations by Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari
-
Session Types for Inter-Process Communication by Simon Gay, Vasco Vasconcelos, and Antonio Ravara
-
Typing migration control in lsdpi by Francisco Martins and Antonio Ravara
-
An Algebra of Behavioural Types by Antonio Ravara
-
Typing the Behavior of Objects and Components using Session Types by Antonio Vallecillo, Vasco T. Vasconcelos, and Antonio Ravara
-
Formalisms for Mobile Resource Control by David Teller
-
Using Ambients to Control Resources by David Teller, Pascal Zimmer, and Daniel Hirschkoff
Web page: Björn Victor, latest update Mon, 17-May-2004 00:36 MEST