Rafail Ostrovsky - Publications

Brief Announcement: Secure Self- Stabilizing Computation

Shlomi Dolev, Karim Eldefrawy, Juan A. Garay, Muni Venkateswarlu Kumaramangalam, Rafail Ostrovsky, Moti Yung


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. Today, beyond recovering functionality, there is need to recover security and confidentiality guarantees as well. To the best of our knowledge, there are currently no self-stabilizing protocols that also ensure recovering confidentiality, authenticity and integrity properties. Specifically, self-stabilizing systems are designed to regain functionality which is, roughly speaking , designed to regain functionality which is , roughly speaking desired input output relation, ignoring the security and confidentiality of computation and its state.Distributed (cryptographic) protocols for generic secure and privacy-preserving computation, e.g., secure Multi-Party Computation (MPC), usually ensure secrecy of inputs and outputs, and correctness of computation when the adversary is limited to compromise only a fraction of the components in the system, eg, in the system, e.g., the computation is secure only in the presence of an honest majority of involved parties. While there are MPC protocols that are secure against a dishonest majority, in reality the adversary may compromise all components of the system fr a while some of the corrupted components may then recover,e.g., due to security patches and software updates, or periodical code refresh and local state consistency check and enforcement based on self-stabilizing hardware and software techniques. It is currently unclear if a system and its state can be designed to always fully recover following such individual asynchronous recoveries. This paper introduces Secure Self-stabilizing Computation which answers this question in the affirmative. Secure self-stabilizing computation design ensures that secrecy of inputs and outputs, and correctness of the computation are automatically regained, even if at some point the entire system is compromised. We consider the distributed computation task as the implementation of virtual global finite satiate machine(FSM) to present of a minority of Byzantine participants, e.g., one third of the parties and following a temporary corruption of the entire system. We use this task and settings to demonstrate the definition of secure self-stabilizing computation We show how our algorithms and system autonomously restore security and confidentiality of the computation of the FSM once the required corruption thresholds are again respected.

comment: PODC 2017: 415-417

Fetch PDF file of the paper

Back to Publications List