IEEE Transactions on Information Theory
Byzantine-Eavesdropper Alliance: How to Achieve Symmetric Privacy in Quantum X -Secure B -Byzantine E -Eavesdropped U -Unresponsive T -Colluding PIR?
Mohamed W. Nomeir, Alptug Aytekin, Şennur Ulukuş
Abstract
We consider the quantumsymmetricprivate information retrieval (QSPIR) problem in a system withNdatabases andKmessages, withUunresponsive servers,T-colluding servers, andX-security parameter, under several fundamental threat models. In the first model, there areE1eavesdropped links in the uplink direction (the direction from the user to theNservers),E2eavesdropped links in the downlink direction (the direction from the servers to the user), where |E1|, |E2| ≤E; we coin this eavesdropper setting asdynamiceavesdroppers. We show that super-dense coding gain can be achieved for some regimes. In the second model, we consider the case with Byzantine servers, i.e., servers that can coordinate to devise a plan to harm the privacy and security of the system together with static eavesdroppers, by listening to the same links in both uplink and downlink directions. It is important to note the considerable difference between the two threat models, since the eavesdroppers can take huge advantage of the presence of the Byzantine servers. Unlike the previous works in SPIR with Byzantine servers, that assume that the Byzantine servers can send only random symbols independent of the stored messages, we follow the definition of Byzantine servers in [1], where the Byzantine servers can send symbols that can be functions of the storage, queries, as well as the random symbols in a way that can produce worse harm to the system. In the third and the most novel threat model, we consider the presence of Byzantine servers and dynamic eavesdroppers together. We show that having dynamic eavesdroppers along with Byzantine servers in the same system model creates more threats to the system than having static eavesdroppers with Byzantine servers. This is the first work that considers the quantum version of unresponsive and eavesdropped threat model. In addition, this is the first work, classical or quantum, that considers the presence of Byzantine servers together with eavesdroppers in the same system model (static or dynamic eavesdroppers). Another layer of difficulty that we handle in this work stems from the symmetric privacy requirement in the presence of Byzantine servers, which by itself has never been studied before in classical or quantum variations; here the Byzantine servers may attempt to leak information about undesired messages to the user, which is not allowed in SPIR.