loading
Papers

Research.Publish.Connect.

Paper

Authors: Khazam Alhamdan ; Tassos Dimitriou and Imtiaz Ahmad

Affiliation: Department of Computer Engineering, Kuwait University and Kuwait

ISBN: 978-989-758-378-0

Keyword(s): SAT, Outsourcing Computations, Obfuscation, Data Privacy, Attack, Cloud Computing.

Related Ontology Subjects/Areas/Topics: Data and Application Security and Privacy ; Information and Systems Security ; Information Assurance ; Information Hiding ; Privacy ; Privacy Enhancing Technologies ; Security and Privacy in IT Outsourcing ; Security and Privacy in the Cloud

Abstract: The emergence of cloud computing gave users the capability to offload computations that cannot be executed locally to cloud servers with large computational power. One such computationally demanding problem is solving large satisfiability (SAT) instances. Although many problems from AI, circuit verification, etc. can be converted to SAT, outsourcing SAT instances may leak considerable information that can put a user’s security at risk. Hence the privacy of outsourcing computations to the cloud is a major issue. In this work we look at the techniques of Qin et al. (Qin and Jia., 2014; Qin and Du., 2018) which have been used to obfuscate SAT formulas before they are released to the cloud. We came up with a realistic attack against their technique that demonstrates how a malicious cloud provider can obtain significant information about the underlying SAT instance. Our work shows that ad hoc schemes cannot offer the required security guarantees for outsourcing SAT computations, hence more formal frameworks should be used instead. (More)

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.91.106.223

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Alhamdan, K.; Dimitriou, T. and Ahmad, I. (2019). Attack on a Scheme for Obfuscating and Outsourcing SAT Computations to the Cloud.In Proceedings of the 16th International Joint Conference on e-Business and Telecommunications - Volume 2: SECRYPT, ISBN 978-989-758-378-0, pages 356-362. DOI: 10.5220/0007829503560362

@conference{secrypt19,
author={Khazam Alhamdan. and Tassos Dimitriou. and Imtiaz Ahmad.},
title={Attack on a Scheme for Obfuscating and Outsourcing SAT Computations to the Cloud},
booktitle={Proceedings of the 16th International Joint Conference on e-Business and Telecommunications - Volume 2: SECRYPT,},
year={2019},
pages={356-362},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0007829503560362},
isbn={978-989-758-378-0},
}

TY - CONF

JO - Proceedings of the 16th International Joint Conference on e-Business and Telecommunications - Volume 2: SECRYPT,
TI - Attack on a Scheme for Obfuscating and Outsourcing SAT Computations to the Cloud
SN - 978-989-758-378-0
AU - Alhamdan, K.
AU - Dimitriou, T.
AU - Ahmad, I.
PY - 2019
SP - 356
EP - 362
DO - 10.5220/0007829503560362

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.