arrow
Return

Self-Stabilizing Secure Computation

delete2022-01-01
delete0
PRE
AI
D
Dan Brownstein *
S
Shlomi Dolev
M
Muni Venkateswarlu Kumaramangalam
DOI:10.1109/TDSC.2020.2986751delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
Self-stabilization refers to the ability of systems to recover after temporal violations of conditions required for their correct operation. Such violations may lead the system to an arbitrary state from which it should automatically recover. Typically, a self-stabilizing algorithm is examined for eventual functionality, namely, whether the algorithm eventually exhibit the desired input output relation. In this article, we extend the typical functionality criteria to include the recovery of privacy and security aspects. In cryptographic protocol problems, two or more parties want to perform some joint computation, while guaranteeing security properties against adversarial behavior. Current cryptographic protocols guarantee these security properties as long as the adversary is limited to compromise only a fraction of the parties. However, in reality, the adversary may compromise all the parties of the system for a while. We introduce the notion of Self-Stabilizing Secure Computation, a design that ensures that the security properties of computation are automatically regained, even if at some point the entire system is compromised. We then propose a self-stabilizing secure protocol for the evaluation of a reactive functionality which yields a computation of a virtual global finite state machine.
Keywords:
Security
Task analysis
Privacy
Computational modeling
Cryptographic protocols
Transient analysis
Self-stabilization
secure computation
AI Summary

AI Summary

Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.

Journal

IEEE Transactions on Dependable and Secure Computing cover
IEEE Transactions on Dependable and Secure Computing
IF:
7.5
Papers:
2.6K
Citations:
9.6K

Organization

U
University of Calgary
Scholars:
3.8W
Papers: 3.3W
Citations: 52
B
ben gurion university
Scholars:
1.3W
Papers: 1.0W
Citations: 5
Cited Papers

Cited Papers

Online strategies to facilitate health‐related knowledge transfer: a systematic search and review
err2013-11-15
err0
errOAAI
errKatie Mairs; Heather McNeil; Jordache McLeod; Jeanette C. Prorok; Paul Stolee
errShare
errSave
Overexpression of Fkbp11, a feature of lupus B cells, leads to B cell tolerance breakdown and initiates plasma cell differentiation
err2015-06-18
err0
errOAAI
errJulie Ruer‐Laventie; Léa Simoni; Jean‐Nicolas Schickel; Anne Soley; Monique Duval; Anne‐Marie Knapp; Luc Marcellin; Delphine Lamon; Anne‐Sophie Korganow; Thierry Martin; Jean‐Louis Pasquali; Pauline Soulas‐Sprauel
errShare
errSave
errShare
errSave
errShare
errSave
researcher View more