Mobile Resource Guarantees for Smart Devices

We present the Mobile Resource Guarantees framework: a system for ensuring that downloaded programs are free from run-time violations of resource bounds. Certificates are attached to code in the form of efficiently checkable proofs of resource bounds; in contrast to cryptographic certificates of code origin, these are independent of trust networks. A novel programming language with resource constraints encoded in function types is used to streamline the generation of proofs of resource usage.

• Type: Conference
• Year: 2004
• Where: CASSIS
• Authors: David Aspinall, Stephen Gilmore, Martin Hofmann, Donald Sannella, Ian Stark
• Keywords: CASSIS 2004, Checkable Proofs, Human Computer Interaction, Mobile Resource Guarantees, Resource Bounds