You are looking at a specific version 20220314:114035 of this paper.
See the latest version.
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)
- Category
- Foundations
- Publication info
- Preprint. MINOR revision.
- Keywords
- distributed cryptographyformal verificationIO Automatasimulation-based securitydynamic 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