MoSS: Modular Security Specifications Framework
Channel: IACR
Date: 2021-08-11

Paper by Amir Herzberg, Hemi Leibowitz, Ewa Syta, Sara Wrotniak presented at Crypto 2021
See https://iacr.org/cryptodb/data/paper.php?pubkey=31175.

The conference program is at https://crypto.iacr.org/2021/program.php