Press Corner

In this section, you will find general presentation about MOBIUS for different audiences.

To contact us: Gilles Barthe Scientific Coordinator,   

Scientific community:

• An overview paper of the MOBIUS objectives: G. Barthe, L. Beringer, Pierre Crégut, Benjamin Grégoire, Martin Hofmann, Peter Müller, Erik Poll, Germán Puebla, I. Stark, and Eric Vétillard. MOBIUS: Mobility, ubiquity, security. objectives and progress report. In Trustworthy Global Computing, Lecture Notes in Computer Science. Springer-Verlag, 2006. .

• Complete presentation of MOBIUS Tutorial: This tutorial introduces participants to the central security architecture of Mobius as well as type systems, logics, and tools that enable static verification of Java source and bytecode:

General public:

• Main features of the project summarized on one page datasheet

• Poster giving an overview of the project objectives and technologies

• General presentation of MOBIUS project: Also available on ISTweb - Emerging Technologies and Infrastructures - FET - Global Computing: