Composable Dynamic Secure Emulation

Pierre Civit; Maria Potop-Butucaru

Paper 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).

Metadata

Available format(s): PDF
Category: Foundations
Publication info: Preprint. MINOR revision.
Keywords: distributed cryptography formal verification I O Automata simulation-based security dynamic distributed systems
Contact author(s): pierrecivit @ gmail com
maria potop-butucaru @ lip6 fr
History: 2022-03-14: received
Short URL: https://ia.cr/2022/326
License: CC BY

BibTeX

@misc{cryptoeprint:2022/326,
      author = {Pierre Civit and Maria Potop-Butucaru},
      title = {Composable Dynamic Secure Emulation},
      howpublished = {Cryptology {ePrint} Archive, Paper 2022/326},
      year = {2022},
      url = {https://eprint.iacr.org/2022/326}
}