Paper 2022/326 Original: eprint.iacr.org/2022/326 ↗
Composable Dynamic Secure Emulation
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.
- History
- 2022-03-14: last updated
- 2022-03-14: published
- Short URL
- https://ia.cr/2022/326
- License
- https://creativecommons.org/licenses/by/4.0/
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}
}