Skip to topic | Skip to bottom
... Mobius IST-15905

Start of topic | Skip to actions

Press Corner

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

mail.gif 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. PDF.

  • 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:PDF

General public:

  • Main features of the project summarized on one page datasheet PDF

  • Poster giving an overview of the project objectives and technologies PDF

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

You are here: Mobius > Web Left Bar > PressCorner

to top

Ideas, requests, problems regarding the Mobius site QUESTION?