O’Caml Security

• MMM applets may only use safe variants of standard libraries

• Safety is ensured by type checking

• Object-code is associated with a cryptographic signature

• Need for trusted compilation sites

Previous slide

Next slide

Back to first slide

View graphic version