MyThS

 

Models and Types for Security in Mobile Distributed Systems
Contract IST-2001-32617 (MyThS)

 

 Sections: home |consortium | meetings| output | private
You are here: home <consortium

 

Consortium

MyThs is undertaken by a consortium of partners with solid theoretical background, carefully chosen seeking complementary expertise in order to maximise the chances of success. At the same time, the consortium is purposely small - both in the number of contractors and in the size of the teams - so as to ease project management on a small set of clearly defined common goals, and keepthe project very focused on its objectives. 
Partners are three higher education, well-established organisations,based in France, Italy, and the United Kingdom.

Ecole Normale Supčrieure(ENS)

Ecole normale superičure  has a renowned competence in type and model theory (Prof.Longo), with applications to the typing of object-oriented languages(Dr.Castagna). Recent results at ENS include the development of new models for mobile computation and security for mobile and migrant code. ENS will therefore be contributing to MyThs its expertise both in type theory and in the security of access for mobile computation.  

Key Personnel: Giuseppe Castagna


Universitą "Ca' Foscari"di Venezia

Universitą "Ca'Foscari" di Venezia has world-known competence in the semantics of programming languages, with special focus on declarative and object-oriented programming, type systems (Prof.Bugliesi), and on security for concurrent systems, with specific focus on security analysis of cryptographic protocols and information flow security (Dr. Focardi). Recent results at UoV concern typed analysis for mobility and its security  problems, and the study of crypto-protocols in the framework of  process algebras. The team at UoV will therefore contribute to MyThS its expertise on types for mobile code, and on crypto-analysis.

Key Personnel: Michele Bugliesi, Riccardo Focardi


University of Sussex

The University of Sussex has world-knowncompetence in the semantics of concurrency, both from the point of view of calculi for concurrent and distributed systems (Prof.Hennessy, Dr.Rathke) and from the one of models (Dr.Sassone). Recent work at UoS has focused on security in location-based languages, together with type systems for resource access control and on the the study of     information flow in a mobility framework. As such, UoS is in the position of contributing to MyThS specific expertise about types in resource management policies and in the prevention and detection of unwanted flows of information.

Key Personnel: Matthew Hennessy, Julian Rathke, Vladimiro Sassone