MoSS: Modular Security Specifications Framework.

Amir Herzberg, Hemi Leibowitz, Ewa Syta, Sara Wrtniak

Browse the full CRYPTO paper archive.