IST-15905

Mobility, Ubiquity and Security

Enabling proof-carrying code for Java on mobile devices

Mobius is a European Integrated Project developing novel technologies for trustworthy global computing, using proof-carrying code to give users independent guarantees of the safety and security of Java applications for their mobile phones and PDAs.