MoSS: the Modular Security Specifications Framework


Amir Herzberg, Hemi Leibowitz, Ewa Syta and Sara Wrotniak

Crypto'2021