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: