Brief Announcement: Composable Dynamic Secure Emulation - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

Brief Announcement: Composable Dynamic Secure Emulation

Résumé

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, cybersecure distributed protocols etc).
Fichier non déposé

Dates et versions

hal-04035434 , version 1 (17-03-2023)

Identifiants

Citer

Pierre Civit, Maria Potop-Butucaru. Brief Announcement: Composable Dynamic Secure Emulation. Proceedings of the 34th ACM Symposium on Parallelism in Algorithms and Architectures, Jul 2022, Philadelphia, PA, United States. pp.103-105, ⟨10.1145/3490148.3538562⟩. ⟨hal-04035434⟩
36 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More