cryptographic framework for the Objective-ML language
