MoSS: Modular Security Specifications Framework - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Amir Herzberg, Hemi Leibowitz, Ewa Syta, Sara Wrótniak. MoSS: Modular Security Specifications Framework. In Tal Malkin, Chris Peikert, editors, Advances in Cryptology - CRYPTO 2021 - 41st Annual International Cryptology Conference, CRYPTO 2021, Virtual Event, August 16-20, 2021, Proceedings, Part III. Volume 12827 of Lecture Notes in Computer Science, pages 33-63, Springer, 2021. [doi]

The following publications are possibly variants of this publication:

The Modular Specifications Security FrameworkHemi Leibowitz, Amir Herzberg, Ewa Syta, Sara Wrótniak. iacr, 2020:1040, 2020. [doi]

The Layered Games Framework for Specifications and Analysis of Security ProtocolsAmir Herzberg, Igal Yoffe. tcc 2008: 125-141 [doi]

The layered games framework for specifications and analysis of security protocolsAmir Herzberg, Igal Yoffe. ijact, 1(2):144-159, 2008. [doi]

runs on WebDSL