Cryptology ePrint Archive: Report 2022/326

Composable Dynamic Secure Emulation

Pierre Civit and Maria Potop-Butucaru

Abstract: This work extends the composable secure-emulation of Canetti et al. to dynamic settings. Our work builds on top of dynamic probabilistic I/O automata, a recent framework introduced to model dynamic probabilistic systems. Our extension is an important tool towards the formal verification of protocols combining probabilistic distributed systems and cryptography in dynamic settings (e.g. blockchains, secure distributed computation, cybersecure distributed protocols etc).

Category / Keywords: foundations / distributed cryptography, formal verification, I/O Automata, simulation-based security, dynamic distributed systems

Date: received 8 Mar 2022

Contact author: pierrecivit at gmail com, maria potop-butucaru at lip6 fr

Available format(s): PDF | BibTeX Citation

Version: 20220314:114035 (All versions of this report)

Short URL:

[ Cryptology ePrint archive ]